// mouse out : Menu schliessenfunction menuOut(layerx) {	hideLayer(layerx);}// menuOut// mouseover : Menu oeffnenfunction menuIn(layerx,y) {	arr = new Array("nav1", "nav2", "nav3", "nav4");	for (var i=0 ; i<4 ; i++) {		if (layerx != arr[i]) {			// Layer verstecken			document.getElementById(arr[i]).style.visibility='hidden';		}// if	}// for	displayLayer (layerx);}// menuIn    function Is() {	var agent = navigator.userAgent.toLowerCase();  		this.major = parseInt(navigator.appVersion);  	this.minor = parseFloat(navigator.appVersion);  		this.ns = ((agent.indexOf('mozilla')!=-1) && (agent.indexOf('spoofer')==-1) && (agent.indexOf('compatible') == -1) );  	this.ns2 = (this.ns && (this.major == 2)); 	this.ns3 = (this.ns && (this.major == 3));  	this.ns4b = (this.ns && (this.minor < 4.04));  	this.ns4 = (this.ns && (this.major >= 4)); 	this.ns6 = (this.ns && (this.major >= 6)); 		this.ie = (agent.indexOf('msie') != -1);  	this.ie3 = (this.ie && (this.major == 2));  	this.ie4 = (this.ie && (this.major >= 4));  	this.op3 = (agent.indexOf('opera') != -1); 	this.ver5m=(this.major >= 5); }// Isvar is = new Is();   function displayLayer(lname) { 	vis='visible';	estr='';    if (!is.ver5m) {    	if (is.ie) estr='document.all["'+lname+'"].style.visibility="'+vis+'"';        if (is.ns6) estr='document.layers.'+lname+'.visibility="'+vis+'"';           eval(estr);    }// if      else document.getElementById(lname).style.visibility=vis;}// displayLayer           function hideLayer(lname) { 	vis='hidden';	estr='';       if (!is.ver5m) {     	if (is.ie) estr='document.all["'+lname+'"].style.visibility="'+vis+'"';           if (is.ns6) estr='document.layers.'+lname+'.visibility="'+vis+'"';              eval(estr);    }// if      else document.getElementById(lname).style.visibility=vis; }// hideLayer        if (((navigator.appName == "Netscape") && (parseInt(navigator.appVersion.substring(0,1)) >= 3))      || ((navigator.appName == "Microsoft Internet  Explorer")&&(parseInt(navigator.appVersion.substring(0,1)) >= 4))) {      var version=true}// if