function set(id, param)
{
   obj = window.document.getElementById(id);
   if ((obj != null)&&(obj.className != "menu_"))
   {
      if (param)
         obj.className = "menu__";
      else 
         obj.className = "menu";
   }
}