11,670 Comments on “Hello world!”