A random number: 20