//////////////////////////////////////////////////////////////////////////////////////////
// Funktionen, die in allen Masken gebraucht werden
//
// Autor: Dirk Dorweiler
// Datum: 22.10.2002
//////////////////////////////////////////////////////////////////////////////////////////

//////////////////////////////////////////////////////////////////////////////////////////
// Kopf-Navigationen nur dann neu laden, wenn sie nicht der aktuellen entsprechen
//////////////////////////////////////////////////////////////////////////////////////////

function loadTopNavi(urlLaden) {
	var tmpListe = top.navigation.location.href.split("cgi-bin");
	var checkCurrent = tmpListe[1];
	var tmpListe = urlLaden.split("cgi-bin");
	var checkNew = tmpListe[1];
	if (checkCurrent != checkNew) {
		top.navigation.location.replace(urlLaden);
	}
}