11,203 Thoughts on “Hello world!”