9, 747 thoughts on “Hello world!