// navigation.js


function writeNav()
{

   document.write("<p><a href='tour.htm'>Take a Tour</a></p>\n");   
   document.write("<p><a href='menu.htm'>Our Menu</a></p>\n");
   document.write("<p><a href='links.htm'>Links To Area Attractions</a></p>\n");
   document.write("<p><a href='directions.htm'>How to get Here from There</a></p>\n");
   document.write("<p><a href='index.htm'>Home Page</a></p>\n");
}