9,999 thoughts on “Hello world!