var navMainTimer = 0;
var navMainActive = "gesundheit";
function navHide( navName ) {
  clearInterval( navMainTimer );
  navMainTimer = window.setTimeout( 'document.getElementById( "navMain' + navName + 'Menue" ).style.visibility = "hidden";', 2000 );
}
function navOver( navName ) {
  document.images[ "nav" + navName + "Img" ].src = "img/nav_" + navName + "_over.gif";
  
  // xul: komm erst zum einsatz, wenn ein untermenue gefragt ist
  /*document.getElementById( "navMain" + navMainActive + "Menue" ).style.visibility = "hidden";
  if (document.getElementById( "navMain" + navName + "Menue" )) {
    document.getElementById( "navMain" + navName + "Menue" ).style.visibility = "visible";
    navMainActive = navName;
    navHide( navName );
  }*/
}
function navOut( navName ) {
  if (typeof( navMainHigh ) == "undefined") navMainHigh = "none";
  if (navName != navMainHigh)
    document.images[ "nav" + navName + "Img" ].src = "img/nav_" + navName + ".gif";
    
  // xul: komm erst zum einsatz, wenn ein untermenue gefragt ist
  //navHide( navName );
}
function navMainOver( navName, obj ) {
  obj.className = "navMainOver";
  navHide( navName );
}
function navMainOut( navName, obj ) {
  obj.className = "navMainOff";
  navHide( navName );
}