document.write("<div id=\"header\">");
document.write("<div id=\"menu\">");
document.write("<a href=\"home.html\">home</a> - ");
document.write("<a href=\"resume.html\">resume</a> - ");
document.write("<a href=\"lebenslauf.html\">lebenslauf</a> - ");
document.write("<a href=\"projects.html\">projects</a>");
document.write("</div>");
document.write("</div>");