9,257 thoughts on “Hello world!