document.write('<a class="hormenu" href="/index.html">Home</a>  |   <a class="hormenu" href="/uw/index.html">UW</a>  | <a class="hormenu" href="/archives.html">Archives</a> | <a class="hormenu" href="/reference.html">Reference</a> | <a class="hormenu" href="/contact.html">Contact</a>');