A random number: 42