document.write('<ul id="main_nav">');

// START LINKS //
 
<!-- Copy and paste to add more links.  Note the first link starts the list, so don't copy that.  -->
 
 
document.write('<li>');
document.write('<a href="index.htm">Home</a> &nbsp; |');
 
document.write('</li><li>');
document.write('<a href="in_honor.htm">In Honor of Mr. Mike</a> &nbsp; |');
 
document.write('</li><li>');
document.write('<a href="GPIB.htm">GPIB</a> &nbsp; |');
 
document.write('</li><li>');
document.write('<a href="privacy_policy.htm">privacy policy</a> &nbsp; |');
 
document.write('</li><li>');
document.write('<a href="related_links.htm">related links</a> &nbsp; |');
 
document.write('</li><li>');
document.write('<a href="specials.htm">specials</a> &nbsp; |');

document.write('</li><li>');
document.write('<a href="driving_directions.htm">directions</a>');
document.write('</li>');
 
// END LINKS //
 
document.write('</ul>');