12,516 Replies to “Hello world!”