Pretty sure, it was not a random number picked up. It was derived from a lot of thing, and he also thought about the future of the coin while doing that