// JavaScript Document
var timeout            = 0;
var zuSchliessendeMenu = '';

function over( wurst )
 { if ( timeout != 0 )
	 { // den Timeout auf jeden Fall löschen
	   clearTimeout(timeout); timeout = 0;
	   // falls ich gecshlossen werden soll
	   if ( zuSchliessendeMenu == wurst)
	     // dann mache gar nichts
		 return;
	   else // es soll ein fremdes Menu geschlossen werden
	     // schliesse sofort
		 schliesse();	 
	 }
   // das ursprünglich öffnen	
   document.getElementById(wurst).style.display='block';
 } 
 


function schliesse( )
 { // schliesse das gemerkte Menu
   document.getElementById(zuSchliessendeMenu).style.display='none';
   // Aufräumen, der globalen Variablen
   timeout            = 0;
   zuSchliessendeMenu = '';
 }
 
function out(wurst)
 { // merken welches Menu zu schliessen ist
   zuSchliessendeMenu = wurst;
   // schliesse das Untermenu Später nach einer halben Sekunde
   // merke den timeout in einer Variablen
								 // Zeit in msec also 1000stel Sekunden
   timeout = setTimeout("schliesse()",150);
 }