A random number: