A random number: 56