25,067 thoughts on “Hello world!”