document.write('    <HR WIDTH="90%"><P>');
document.write('    <A HREF="../home/home.html">Home</A> | ');
document.write('    <A HREF="../about/about.html">About Us</A> | ');
document.write('    <A HREF="../map/map.html">Maps</A> | ');
document.write('    <A HREF="../form/contact.html">Contact</A> | ');
document.write('    <A HREF="../icat/cover/cover.html">Catalog</A> | ');
document.write('    <A HREF="../icat/icat/order.html">Order</A> | ');
document.write('    <A HREF="../icat/cover/help.html">Help</A></P>');
document.write('    <P>&nbsp;</P>');