document.write('<a href="index.htm" class="nav">Home</a><br><br><a href="references.htm" class="nav">References</a><br><br><a href="gallery.htm" class="nav">Gallery</a><br><br><a href="news.htm" class="nav">News</a><br><br><a href="comments.htm" class="nav">Comments</a><br><br><a href="links.htm" class="nav">Links</a><br><br><a href="contact.htm" class="nav">Contact Us</a><br><br>&nbsp;');