var BrowserOK = false;
			
		if(document.images) 
		{
		        BrowserOK=true;
		}

		if (BrowserOK) 
		{
	
			off = new Image(7,7);
			off.src = "../images/navigation/off.gif";

			on = new Image (7,7);
			on.src = "../images/navigation/on.gif";

		}

		function tausche_img(inaktiv,aktiv) 
			{
				if (BrowserOK) 
				{
					document.images[inaktiv].src = eval(aktiv + ".src")
				}
					else return;
			}