let footer () = "</body>\n</html>\n"