// hauptnav wechsel
function WechselHauptnav(aktion,name,basis,rotstrich)
{

	window.document.images[name].src = basis;
	/*---*/
	if(aktion == "over")
	{
		if(navigator.appName == "Netscape") 
		{
			document.getElementById(rotstrich).style.visibility = "visible";
		}else{
			document.all[rotstrich].style.visibility = "visible";
		}
	}else{
		
		if(navigator.appName == "Netscape") 
		{
			document.getElementById(rotstrich).style.visibility = "hidden";
		}else{
			document.all[rotstrich].style.visibility = "hidden";
		}
	}
	/*---*/
	
}

function WechselSubnav(name,basis)
{
	window.document.images[name].src = basis;
}

function FensterOeffner(DateiName, FensterName, FensterHoehe,Fensterbreite)
{
	FensterName = window.open(DateiName, FensterName, 'width=' + Fensterbreite + ',height=' + FensterHoehe + ',scrollbars=YES');
	FensterName.focus();
}