Random number generator for Safari.