15,730 thoughts on “Hello world!