<!--
	var TimeoutObj=null;

	/**************************************************************************/
	/* Datum: 07.08.2003                                                      */
	/* Funktion: setNaviTimeout                                               */
	/* Aufgabe: Blendet den angegebenen Layer nach der angegebenen Zeit aus   */
	/* Parameter: LayerID: Array-ID des Layers, der ausgeblendet werden soll  */
	/*                                                                        */
	/**************************************************************************/
	function setNaviTimeout(LayerID)
	{
		var Timeout=500; 
		// Nur Timeout anlegen, wenn es noch keinen gibt
		if(TimeoutObj == null)
			TimeoutObj=setTimeout("NaviLayerOff(" + LayerID + ")", Timeout);
	}

	/**************************************************************************/
	/* Datum: 07.08.2003                                                      */
	/* Funktion: cancelNaviTimeout                                            */
	/* Aufgabe:  Loescht den zur Zeit laufenden Navi-Timeout                  */
	/* Parameter: keine                                                       */
	/*                                                                        */
	/**************************************************************************/
	function cancelNaviTimeout()
	{
		// Loeschen der aktuellen Timeout-Referenz
		clearTimeout(TimeoutObj);
		// Timeout-Referenz wieder initialisieren
		TimeoutObj = null; 
	}
		
	/**************************************************************************/
	/* Datum: 07.08.2003                                                      */
	/* Funktion: NaviLayerOn                                                  */
	/* Aufgabe: Schaltet den jeweiligen Navigations-Layer sichtbar            */
	/* Parameter: LayerID: Array-ID des Layers, der aktiviert werden soll     */
	/*                                                                        */
	/**************************************************************************/
	function NaviLayerOn(LayerID)
	{
		// Zuerst mal alle Navigations-Timeouts loeschen
		// (diese Funktion setzt ja sowieso nur den Layer visible, der 
		// angezeigt werden soll ;-)
		cancelNaviTimeout(); 
		
		// Auslesen aller Navigationslayer in ein Array
		var LayerArr = getElements("NaviLayer"); 

		for(i=0; i < LayerArr.length; i++)
		{
			// Layer Visible oder Hidden setzen
			LayerArr[i].style.visibility = (i == LayerID)?"visible":"hidden"; 
		}
	}
	
	/**************************************************************************/
	/* Datum: 07.08.2003                                                      */
	/* Funktion: NaviLayerOff                                                 */
	/* Aufgabe: Blendet den jeweiligen Navigations-Layer aus                  */
	/* Parameter: LayerID: Array-ID des Layers, der deaktiviert werden soll   */
	/*                                                                        */
	/**************************************************************************/
	function NaviLayerOff(LayerID)
	{
		// Auslesen aller Navigationslayer in ein Array
		var LayerArr = getElements("NaviLayer"); 

		LayerArr[LayerID].style.visibility = "hidden"; 
	}

	/**************************************************************************/
	/* Datum: 12.09.2003                                                      */
	/* Funktion: getElements                                                  */
	/* Aufgabe: Liest die angegebenen HTML-Elemente je nach Browser aus und   */
	/*          gibt sie als Array zurueck                                    */
	/* Parameter: ElementName: Name des jeweiligen HTML-Elements              */
	/* Rueckgabe: Array mit allen HTML-Elementen mit dem Namen ElementName    */
	/*                                                                        */
	/**************************************************************************/
	function getElements(ElementName)
	{
		if(navigator.userAgent.indexOf("MSIE") != -1 && 
			navigator.userAgent.indexOf("Mac") != -1)
		{
			// Macintosh-Internet-Explorer
			var HtmlElementsArray = eval("document.all." + ElementName); 
		}
		else
		{
			// Alles andere
			var HtmlElementsArray = document.getElementsByName(ElementName); 
		}
		return(HtmlElementsArray); 
	}

//-->