A random number:
42