12.730 thoughts on “Hello world!”