A random number: 8