<!--
document.write('<a href="index.html">&raquo; Home, News</a>')
document.write('<a href="archive.html">&raquo; News archive</a>')
document.write('<a href="reports.html">&raquo; Cruising reports</a>')
document.write('<a href="technical.html">&raquo; Laser 13 and 16 FAQ</a>')
document.write('<a href="forsale.html">&raquo; For sale / Wanted</a>')
document.write('<a href="forum.html">&raquo; Forum</a>')
document.write('<a href="links.html">&raquo; Links</a>')
document.write('<a href="search.html">&raquo; Site search</a>')
document.write('<br />')
//-->


