// preload images:
		if (document.images)
		{
			/*start-wechsel-navigations-grafik*/
			roha_off = new Image; roha_off.src = "pages/images/titel01.gif"; /*indexseite*/
			roha_on =  new Image; roha_on.src = "pages/images/titel02.gif";
			
		}
		
		function zeigen(imgName,imgObjName)
		{
			if (document.images)
		{
			document.images[imgName].src = eval(imgObjName + ".src");
		}
		}