13,294 thoughts to “Hello world!”