A random number: 18