var submenu = "";

function header_menu_open(a) {
  if(submenu){
    header_menu_close();
  }
  submenu = a;
  document.getElementById(submenu).style.visibility="visible";
}
function header_menu_close() {
  if (submenu) {
    document.getElementById(submenu).style.visibility="hidden";
    submenu = "";
  }
}