menutext = '<div style="text-align:center;">\
            <table style="margin-left:auto; margin-right:auto;height:100%;border-width:0" cellspacing="0" cellpadding="0">\
              <tr>\
                <td  align="center">\
                  <a class="menu" href="home.html">Home</a></td>\
                <td width="20" align="center">|</td>\
                <td align="center">\
	               <a class="menu" href="vendors.html">Vendors</a></td>\
                <td width="20" align="center">|</td>\
                <td align="center">\
	               <a class="menu" href="sponsors.html">Sponsors</a></td>\
                <td width="20" align="center">|</td>\
                <td align="center">\
                  <a class="menu" href="nextworkshop.html">Next Workshop</a></td>\
                <td width="20" align="center">|</td>\
                <td align="center">\
                  <a class="menu" href="gallery.html">Gallery&nbsp;</a></td>\
                <td width="20" align="center">|</td>\
                <td align="center">\
  	               <a class="menu" href="tickets.html">Buy a Ticket</a></td>\
                <td width="20" align="center">|</td>\
                <td align="center">\
                  <a class="menu" href="contact.html">Contact</a></td>\
              </tr>\
            </table>\
            </div>\
';

function showmenu()
{
   e = document.getElementById("menu");
   if (e)
   {
      e.innerHTML = menutext;
   }
}