change of random number generator

change of random number generator