// JavaScript Documentfunction selectcat(cat){		cataktuell = cat;}	function mouseover(layer, section, lader){		document.getElementById(layer).style.visibility = "visible";		var bild = "IMG" + layer;		document.images[bild].src='images/navi/' + section + '2.gif';	}function mouseout(layer, section){	if(layer != cataktuell){		document.getElementById(layer).style.visibility = "hidden";		var bild = "IMG" + layer;		document.images[bild].src='images/navi/' + section + '.gif';	}	}