3,725 Thoughts on “Hello world!”