A random number: 13