// script for browser detection taken from "The Ultimate JavaScript Client Sniffer, Version 3.03"
			// for full source look @ http://www.mozilla.org/docs/web-developer/sniffer/browser_type.html

			function isInetExp3or4()
			{   
				var agt=navigator.userAgent.toLowerCase();
				var is_major  = parseInt(navigator.appVersion);
				var is_ie     = !((agt.indexOf("msie") == -1) || (agt.indexOf("opera") != -1));
    			var is_ie3    = !((!is_ie) || (is_major != 3));
			    var is_ie4    = !((!is_ie) || (is_major != 4) || (agt.indexOf("msie 4")==-1) );
				return (is_ie3 || is_ie4);
			}
			
			var isIE34 = isInetExp3or4();

			function isInetExp5x()
			{   
				var agt=navigator.userAgent.toLowerCase();
				var is_major  = parseInt(navigator.appVersion);
				var is_ie     = !((agt.indexOf("msie") == -1) || (agt.indexOf("opera") != -1));
			    var is_ie5    = !((!is_ie) || (is_major != 4) || (agt.indexOf("msie 5.0")==-1) );
		    	var is_ie5_5  = !((!is_ie) || (is_major != 4) || (agt.indexOf("msie 5.5") ==-1));
				return (is_ie5 || is_ie5_5);
			}
			
			var isIE5x = isInetExp5x();
			
			function isNetNav4()
			{
				var agt=navigator.userAgent.toLowerCase();
				var is_major = parseInt(navigator.appVersion);
	    		// Note: Opera and WebTV spoof Navigator.  We do strict client detection.
	    		// If you want to allow spoofing, take out the tests for opera and webtv.
	    		var is_nav  = (!((agt.indexOf('mozilla')==-1) || (agt.indexOf('spoofer')!=-1)
	                		|| (agt.indexOf('compatible') != -1) || (agt.indexOf('opera')!=-1)
	                		|| (agt.indexOf('webtv')!=-1) || (agt.indexOf('hotjava')!=-1)));
	    		return (!(!is_nav || (is_major != 4)));
			}

			var isNN4 = isNetNav4();

			function menuOver(menupoint) {
				if (!(isIE34 || isIE5x || isNN4)) {
					var mp = document.getElementById(menupoint + "td");
					mp.style.cursor = 'pointer';
				}
			}
		
			function menuOut(menupoint) {
				if (!(isIE34 || isIE5x || isNN4)) {
					var mp = document.getElementById(menupoint + "td");
					mp.style.cursor = 'default';
				}
			}
			
		
/*			function menuClick(menupoint) {
				if (!(isIE34 || isNN4)) {
					var mp = document.getElementById(menupoint + "a");
					window.location = mp.href;
				}
			}
			rausgenommen von Jonas am 15.04.02. Verursachte, dass Menu-Links faelschlicherweise 2x aufgerufen wurden
*/		
			/*
        			Titel:  Pull-Down-Menüs
        			Autor:  Christoph Bergmann
        			WWW:    http://acc.de
        			EMail:  cb@acc.de

        			Copyright (c) 1998 Milch + Zucker - C.Bergmann und J.Gamperl.
        			All rights reserved. Alle Rechte vorbehalten. URL: http://dhtml.seite.net

        			Dieser Code darf für nicht-kommerzielle, sowie kommerzielle Zwecke frei
        			genutzt und angepaßt werden, solange dies unentgeltlich erfolgt und
        			dieser Vermerk bestehen bleibt.

					Code angepasst und erweitert by EWIS.de - Team. Fuer Original-Source gehen Sie bitte auf o.g. Seite
			*/

			var old="none";

			if (isNN4)
			{
        			window.captureEvents(Event.MOUSEUP);
        			window.onmouseup=do_out;				// bei Variante 2 (unten): document.onmousedown=do_out;
			} else
			{
        			document.onmouseup=do_out;              // oder auch: document.onmouseclick=do_out oder document.onmousedown=do_out;
			}
			
			function show_layer(x) {
				if (isNN4) {
           			document.layers[x].visibility="show";
				}
				else {
					if (isIE34) {
						document.all[x].style.visibility="visible"
					}
					else {
						var thelayer = window.document.getElementById(x);
						if (thelayer != null)	{	thelayer.style.visibility = "visible";	}
					}
				}
			}

			function hide_layer(x) {
				if (x != "none") {
					if (isNN4) {
	           			document.layers[x].visibility="hide";
					}
					else {
						if (isIE34) {
							document.all[x].style.visibility="hidden";
						}
						else {
							var thelayer = window.document.getElementById(x);
							if (thelayer != null)	{	thelayer.style.visibility = "hidden";	}
						}
					}
				}
			}

			function do_out() {
        			if(old != "none")
                			hide_layer(old);
        			old="none";
			}

			function ausklapp(x) {
				if (old != x) {
					if (old!="none") { hide_layer(old); }
					show_layer(x);
					old=x;
				}
			}