5,250 thoughts on “Hello world!