10,042 thoughts on “Hello world!”