12,525 Replies to “Hello world!”