3.970 Thoughts on “Hello world!”