changed to more widely available random number generator, random()