This is a static HTML document, and is to be used as a "menu" for those without JavaScript.