function OpenMenu(menu){
 //test for W3C complient browser
if(document.getElementById){
   menu = document.getElementById(menu).style;
   menu.width = "16.7%";
      if(document.all){
	 menu.width = "100%";
      }
}else{
      if(document.all){
	 menu = document.all.menu.style;
	 menu.width = "100%";
      }
   }
  menu.visibility = "visible";
};
function CloseMenu(menu){
 //test for W3C complient browser
if(document.getElementById){
  menu = document.getElementById(menu).style;
  menu.width = "16.7%";
}else{
        if(document.all){
           menu = document.all.menu.style;
          // menu.width = "100%";
        }
     }
  menu.visibility = "hidden";
};