Hello, world!

This is a simple static HTML file.