Is there any way to set the seed for the random number generator?