4.839 Thoughts on “Hello world!”