A random number: 45