This random number generator