Hello, World!

This is a minimal "hello world" HTML document.