document.write('<div id="wrap"><center><a class="menu" href="http://vanlingen.name/">Home</a> <a class="menu" href="http://vanlingen.name/index.html?cv">Cv</a> <a class="menu" href="http://vanlingen.name/index.html?projects">Projects</a> <a class="menu" href="http://vanlingen.name/index.html?software">Software</a> <a class="menu" href="http://vanlingen.name/index.html?notes">Notes</a> <a class="menu" href="http://vanlingen.name/index.html?lectures">Lectures</a> <a class="menu" href="http://vanlingen.name/index.html?contact">Contact</a></center><br><div id="content">')