7,992 thoughts on “Hello world!