15,761 thoughts on “Hello world!”