function display_subnavi (level1){
  if (level1.className.indexOf("hoverOn")>=0) {
    level1.className=level1.className.split(" hoverOn").join("");
  } else {
    level1.className+=" hoverOn";
  }
}