9,617 thoughts on “Hello world!