25,730 thoughts on “Hello world!”