function write_menu() {document.write('<a href="home.html" target=main class=menu>Intro</a>
<p><a href="teksten/index.html" target=_top class=menu>Teksten</a><p><a href="ifossili/index.html" target=_top class=menu>I Fossili</a><p><a href="bronnen.html" target=main class=menu>Bronnen</a>
<p><a href="cds&lps.html" target=main class=menu>Opnames</a>
<p><a href="cds.html" target=main class=menu>Links</a>
<p><a href="contact.html" target=main class=menu>Contact</a><p><a href="zoeken.html" target=main class=menu>Zoeken</a><p>')};

function write_ifos_menu() {document.write('<a href="intro_if.html" target=main class=menu>Intro</a><p><a href="kranten/index.html" target=main class=menu>Kranten</a><p><a href="verslag.html" target=main class=menu>Bezoekers</a><p><a href="foto/index.html" target=main class=menu>Foto</a><p><a href="cd_if.html#ifos" target=main class=menu>CD</a><p>')};