document.write("<div name='menutop' id='menutop' class='menutop'>")
document.write("<a href='http://www.eriswerks.org'><span class='menutext' onMouseOver=\"this.style.backgroundColor=\'#CFCFCF\'\" onMouseOut=\"this.style.backgroundColor=\'#999999\'\">&nbsp;Main </span></a>")
document.write("|<a href='discordia.html'><span class='menutext' onMouseOver=\"this.style.backgroundColor=\'#CFCFCF\'\" onMouseOut=\"this.style.backgroundColor=\'#999999\'\"> Discordianism </span></a>")
document.write("|<a href='news.html'><span class='menutext' onMouseOver=\"this.style.backgroundColor=\'#CFCFCF\'\" onMouseOut=\"this.style.backgroundColor=\'#999999\'\"> News </span></a>")
document.write("|<a href='locatrix.html'><span class='menutext' onMouseOver=\"this.style.backgroundColor=\'#CFCFCF\'\" onMouseOut=\"this.style.backgroundColor=\'#999999\'\"> Locatrix </span></a>")
document.write("|<a href='propaganda.html'><span class='menutext' onMouseOver=\"this.style.backgroundColor=\'#CFCFCF\'\" onMouseOut=\"this.style.backgroundColor=\'#999999\'\"> Propaganda </span></a></div><br>")
document.write("</div>")