//alert(1);
// Menue 
function showmenu(elmnt) {
  document.all(elmnt).style.visibility="visible"
}

function hidemenu(elmnt){
  document.all(elmnt).style.visibility="hidden"
}

function menu(entries){
  var i=0;
  var tableAttrib = entries[0];
  document.write('<table class="menu"; '+tableAttrib+'>');
  document.write(' <tr> ');
  for (i=1; i<entries.length;++i){
 	menuSub(entries[i]);
  }
  document.write(' </tr> ');
  document.write('</table> ');
}

function menuSub(entries){
  var mainPrefix = entries[1][0];
  var mainEntry = entries[1][1];
  var mainHref = entries[1][2];
  var hrefTopEntry = (mainHref)?' href="'+mainPrefix+mainHref+'" ':'';
  //alert(hrefTopEntry);
  document.write('  <td class="menu" '+entries[0]+'  onmouseover="showmenu(\''+mainEntry+'\')" onmouseout="hidemenu(\''+mainEntry+'\')"> ');
  //alert(prefix);
  document.write('   <a id="mmenu" '+hrefTopEntry+' >'+mainEntry+'</a><br /> ');
  document.write('   <table class="submenu" id="'+mainEntry+'" > ');
  var i=0;
  for (i=2; i<entries.length;++i){
    menuSubEntry(entries[i]);
  }
  document.write('   </table> ');
  document.write('  </td> ');
}

function menuSubEntry(entry){
  var mainPrefix = entry[0];
  var mainEntry = entry[1];
  var mainHref = entry[2];
  var hrefTopEntry = (mainHref)?' href="'+mainPrefix+mainHref+'" ':'';
  //alert(hrefTopEntry);
  document.write('   <tr><td class="submenu"><a id="smenu" '+hrefTopEntry+'>'+mainEntry+'</a></td></tr> \n');
}

//alert(2);