Changing the random number generator