function generatemenu() {
   var s = "<ul id='verticalmenu' class='glossymenu'>";
   s = s + "<li><a href='./index.html'>Home</a></li>";
   s = s + "<li><a href='./about.html'>About Us</a></li>";
   s = s + "<li><a href='./traditions.html'>Traditions</a></li>";
   s = s + "<li><a href='./parading.html'>Parading</a></li>";
   s = s + "<li><a href='./stories.html'>Stories</a></li>";
   s = s + "<li><a href='./leaders.html'>Section Leaders</a></li>";
   s = s + "<li><a href='./members.html'>Current Members</a></li>";
   s = s + "<li><a href='./alum.html'>OLD people</a></li>";
   s = s + "<li><a href='./photos.html'>Photos!</a></li>";
   s = s + "<li><a href='./media.html'>Music, Videos</a></li>";
   s = s + "<li><a href='./contact.html'>Join Us!</a></li>";
   s = s + "<li><a href='./links.html'>Links</a></li>";
   s = s + "</ul>";
   
   document.write(s);
}