var menu_zum_verstecken = ""; /* Platz wo ich mir das Menu merke was später ausgeblendet
		                                 werden soll */  
	    var auftragsnr = 0; /* Platz wo ich mir Ausblendaufträge merke */

		function over( menuname )
		  { // falls es einen Ausblendauftrag gibt
		    if ( auftragsnr != 0 )
		      { // dann lösche diesen Ausblendauftrag sofort
			    clearTimeout(auftragsnr);
			    // falls ich gerade ausgeblendet werden soll
				if ( menuname == menu_zum_verstecken )
			      { // dann alles beseitigen und weg, denn der Untermenupunkt ist 
				    // bereits offen
				    auftragsnr = 0;
					menu_zum_verstecken = "";
					return;
				  }  
				else // sonst
				  { // führe den Auftrag sofort aus
				    verstecke_spaeter();
				  }
			  }
		    var menu = document.getElementById(menuname);
		    if ( menu ) menu.style.display = 'block';
		  }

		function out( menuname )
		  { // merke welches Menu zu verstecken ist
		    menu_zum_verstecken = menuname;
			// gebe den Auftrag in 1500msec = 1.5sec die Funktion
			// verstecke_spaeter() aufzurufen
		    auftragsnr = setTimeout("verstecke_spaeter()",150);
		  }

		function verstecke_spaeter()
		  { var menu = document.getElementById(menu_zum_verstecken);
		    if ( menu ) menu.style.display = 'none';
			// alle Spuren des Auftrags vernichten  
		    auftragsnr = 0;
			menu_zum_verstecken = "";		  
		  }