document.write("<ul class=\"menu\">")
document.write("<li><a href=\"en/?n=Main.AboutThisSite\">About this site</a></li>")
document.write("<li><a href=\"en/?n=Main.AboutMe\">About me</a></li>")
document.write("<li><a href=\"en/?n=Main.Contact\">Contact</a></li>")
document.write("<li><a href=\"en/?n=Main.HowYouCanHelp\">How you can help</a></li>")
document.write("<li><a href=\"en/?n=Translators.Languages\">Other languages</a></li>")
document.write("<li><a href=\"en/?n=Translators.GettingStarted\">Translating pages</a></li>")
document.write("<li><a href=\"en/?n=Main.Sitemap\">Sitemap</a></li>")
document.write("</ul>")