@quad @hellpie Well, yes, they are probably numerical puns. (Now to start an email provider named 789...) Also, in China, certain numbers are lucky and or unlucky. There are certain phone numbers that people avoid because they are unlucky or sound like an unfortunate phrase.