9,006 Thoughts on “Hello world!”