A random number: 16