var active = 0;var subs = 0;function activate() {	active = 1;}bOK = (document.all || document.getElementById);  // kein document.layers Support!if (document.all) {	layerVar = "document.all"; 	styleVar = ".style"; 	visVar = "visible";}function showLayer(menu) {	if (bOK) {		hideAllLayers();		if (document.all) {			thisLayer = eval(layerVar + '["' + menu + '"]' + styleVar);			if (thisLayer) eval(layerVar + '["' + menu + '"]' + styleVar + '.visibility="visible"');		} else if (document.getElementById) {			thisLayer = document.getElementById(menu);			thisLayer.style.visibility = "visible";		}		menuOn = menu;	}}     function hideLayer(menu) {	if (bOK) {		if (document.all) {			thisLayer = eval(layerVar + '["' + menu + '"]' + styleVar);			if (thisLayer) eval(layerVar + '["' + menu + '"]' + styleVar + '.visibility="hidden"');		} else if (document.getElementById) {			thisLayer = document.getElementById(menu);			if (thisLayer) thisLayer.style.visibility = "hidden";		}	}}function hideAllLayers() {	if (bOK) {				hideLayer( 'submenu' );		clearTimeout(menuTimer);	}}menuTimer = setTimeout("hideAllLayers()",1000);function clearMenus() {	menuTimer = setTimeout("hideAllLayers()",1000);}function openWindow(theURL,winName,features) {   window.open(theURL,winName,features);}function goToURL() {   var i, args=goToURL.arguments; document.returnValue = false;  for (i=0; i<(args.length-1); i+=2) eval(args[i]+".location='"+args[i+1]+"'");}function preloadImages() {   var d=document; if(d.images){ if(!d.arr) d.arr=new Array();    var i,j=d.arr.length,a=preloadImages.arguments; for(i=0; i<a.length; i++)    if (a[i].indexOf("#")!=0){ d.arr[j]=new Image; d.arr[j++].src=a[i];}}}function preloadImg(theSrc) {	if (document.images) {		if (document.preloadArray==null) document.preloadArray = new Array();		var i = document.preloadArray.length;		document.preloadArray[i] = new Image;		document.preloadArray[i].src = theSrc;	}}function loadImg(theImg,theSrc) {	if (document.images) document.images[theImg].src = theSrc;}