<!-- var browser_ok;original = new Array ("e6_0.gif","e5_0.gif","e2_1_0.gif","e2_0.gif","e2_2_0.gif","e2_3_0.gif","e2_4_0.gif","e3_1_0.gif","e3_0.gif","e4_1_0.gif","e4_0.gif","e4_2_0.gif","e4_3_0.gif","k1_0.gif","k2_0.gif","k3_0.gif","m1_1_0.gif","m1_0.gif","m1_2_0.gif","m2_1_0.gif","m2_0.gif","m2_2_0.gif","m2_3_0.gif","m2_4_0.gif")high = new Array ("e6_1.gif","e5_1.gif","e2_1_1.gif","e2_1.gif","e2_2_1.gif","e2_3_1.gif","e2_4_1.gif","e3_1_1.gif","e3_1.gif","e4_1_1.gif","e4_1.gif","e4_2_1.gif","e4_3_1.gif","k1_1.gif","k2_1.gif","k3_1.gif","m1_1_1.gif","m1_1.gif","m1_2_1.gif","m2_1_1.gif","m2_1.gif","m2_2_1.gif","m2_3_1.gif","m2_4_1.gif")var path;if (!path) path="../media/nav/";/*fuer die 4er Browser wird eine ok-Variable gesetzt -------------------------------- */if (((navigator.appName.indexOf("Microsoft") > -1 )&&(parseInt(navigator.appVersion.substring(0)) >=4))|| ((navigator.appName.indexOf("Netscape") > -1 )&&(parseInt(navigator.appVersion.substring(0)) >=4))){browser_ok="si";}/*Preload der Images   ------------------------*/anzahl = (original.length);if (browser_ok){highpre = new Array ()origpre = new Array ()for (i = 0; i < anzahl; i++)		{	var this_img=high[i];		var stopdings=this_img.lastIndexOf("_");		var name=this_img.substr(0,stopdings);		highpre[name] = new Image();        highpre[name].src = path+high[i];		origpre[name] = new Image();        origpre[name].src = path+original[i];	}}function vertical_mittig(){var BodyHoehe;var ObenAbstand;var HoeheInhalt=540;if (document.all) var BodyHoehe=document.all.DieseDatei.offsetHeight;else if (window.innerHeight) var BodyHoehe=window.innerHeight;var ObenAbstand=Math.floor((BodyHoehe - HoeheInhalt) / 2)-8;if (ObenAbstand > 0) document.writeln('<div style=\"height:'+ObenAbstand+'px;\"></div>');}function over(y){if (browser_ok){	/*beruehrtes wird highbild*/	if (document.images[y]) document.images[y].src = highpre[y].src}}function out(){if (browser_ok){	/*alle hauptbilder abduseln*/	for (i = 0; i < anzahl; i++)   	{	var this_img=high[i];	var stopdings=this_img.lastIndexOf("_");	var name=this_img.substr(0,stopdings);	if (document.images[name])	{document.images[name].src = origpre[name].src}	}}}//-->