//menu
document.write('<div class="menu">');
document.write('  <h2>Menu</h2>');
document.write('  <div id="nav">');
document.write('  <br/>');
document.write('	<a href="index.html"		>Welkom</a>');
document.write('	<a href="nl_de_vvg.html"	>De VVG</a>');
document.write('	<a href="nl_lidmaatschap.html"	>Lidmaatschap</a>');
document.write('	<a href="nl_adressen.html"	>Adressen</a>');
document.write('  <br/>');
document.write('	<a href="nl_nieuws.html"	>Nieuws</a>');
document.write('	<a href="nl_bibliotheek.html"	>Bibliotheek</a>');
document.write('	<a href="nl_publicaties.html"	>Publicaties</a>');
document.write('	<a href="nl_tijdschrift.html"	>Tijdschrift</a>');
document.write('	<a href="nl_nieuwsbrief.html"	>Nieuwsbrief</a>');
document.write('  <br/>');
document.write('	<a href="nl_downloads.html"	>Downloads</a>');
document.write('	<a href="nl_sites_leden.html"	>Websites Leden</a>');
document.write('	<a href="nl_sites_overig.html"	>Websites Overig</a>');
document.write('	<a href="nl_sites_bronnen.html"	>Websites Bronnen</a>');
document.write('  </div>');
document.write('</div>');