function go (url_navigation, url_inhalt) {
	if (url_navigation != "" && parent.navigation.location != url_navigation)
		parent.navigation.location = url_navigation;
	if (url_inhalt != "")
		parent.inhalt.location = url_inhalt;
}


function einschalten (aktuellerLink) {
	aktuellerLink.style.textDecoration = "underline";
}

function ausschalten (aktuellerLink) {
	aktuellerLink.style.textDecoration = "none";
}