// Checks if it is the top-level window makes it if not.
function checkTop(){
  if(top!=self){
    top.location=self.location;
  }
}

function menuAnpassung(default_item){
	var aktiv_menu = window.name;
	if(aktiv_menu != null && aktiv_menu != "" && aktiv_menu != default_item){
		document.getElementById("header_"+default_item).className = "inaktiv_header";
		document.getElementById("header_"+aktiv_menu).className = "aktiv_header";
		document.getElementById("menu_"+default_item).className = "inaktiv_menu";
		document.getElementById("menu_"+aktiv_menu).className = "aktiv_menu";
  }
}