12,921 thoughts on “Hello world!”