A random number: 5