This is a boilerplate HTML document.