'Hello, world!' length.