function dmenu(menu_class,menu_id) {
 var tn=document.getElementsByTagName("div");
 for (var i=0; i < tn.length; i++)
  if (tn[i].className == menu_class)
   tn[i].style.display="none";
 document.getElementById(menu_id).style.display="block";
 }