document.write("<ul id='keuzemenu'>");
document.write("<li id='stadskaart'><A HREF='./index.html'>Stadsplattegrond</A></li>");
document.write("<li id='stratenindex'><A HREF='./pag_straat.php'>Stratenindex</A></li>");
document.write("<li id='allekaarten'><a href='pag_detail.php' onclick='schrijfKaart(1)'>Kaarten<\/a></li>");
document.write("<li id='linkpagina'><a href='pag_link.html'>Linkpagina</a></li>");
document.write("</ul>");