var zu_versteckendes_menu = "";
var timer_nummer = 0;

function over( menuname )
  { if ( timer_nummer != 0)
      { clearTimeout(timer_nummer); 
        timer_nummer = 0;
        if ( zu_versteckendes_menu == menuname )
          return;
        else  
          verstecke();
      }
    var menu = document.getElementById(menuname); 
    if ( menu ) menu.style.display = 'block';
  }

function out( menuname )
  { zu_versteckendes_menu = menuname; 
    timer_nummer = setTimeout('verstecke()',600);
  }

function verstecke()  
  { var menu = document.getElementById(zu_versteckendes_menu); 
    if ( menu ) menu.style.display = 'none';
    timer_nummer = 0;
    zu_versteckendes_menu = "";
  }

function show( layername )
  { var menu = document.getElementById(layername); 
    if ( menu ) menu.style.display = 'block';
  }

function hide( layername )
  { var menu = document.getElementById(layername); 
    if ( menu ) menu.style.display = 'none';
  }