25,384 thoughts on “Hello world!”