document.writeln('<ul id="menu">');
document.writeln('<li><a href="../index.html">Home</a></li><li><a href="../airfares.html">Airfares</a></li><li><a href="../cruises.html" >Cruises</a></li><li><a href="../coach.html">Coach</a></li><li><a href="../trains.html">Rail</a></li><li><a href="../adventure.html">Adventure</a></li><li><a href="../specials.html">Specials</a></li><li><a href="../index.html#CONTACT">Contact</a></li><li><a href="../Panorama.htm">Map</a></li>');
document.writeln('</ul>');