A random number: 10