seeds the random number generator