A random number: 12