Do you have a manual ???

--> random_seed(0);