12,540 Replies to “Hello world!”