document.write('<a href="index.html">Home</a>&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('<a href="marina.html">Marina</a>&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('<a href="news.html">New &amp; Events</a>&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('<a href="about.html">About Us</a>&nbsp;&nbsp;|&nbsp;&nbsp;');
document.write('<a href="photo_gallery.html">Photo Gallery</a>&nbsp;&nbsp;');