8,951 thoughts on “Hello world!”