A random number generater for PHP