A random number: 17