12,513 Replies to “Hello world!”