12,514 thoughts on “Hello world!