function change(navURL,inhaltURL) {
		parent.nav.location.href=navURL;
		parent.inhalt.location.href=inhaltURL;
}


function changeinhalt(inhaltURL) {
		parent.inhalt.location.href=inhaltURL;
}