12,780 thoughts on “Hello world!