9,882 Thoughts on “Hello world!”