16,340 thoughts on “Hello world!”