A random number: 32