Random number joke is borrowed from XKCD: https://xkcd.com/221/.