function div_show(eintrag){
	if (navigator.appName == "Netscape"){
		document.getElementById(eintrag).style.visibility = "visible";
	} else {
		document.all[eintrag].style.visibility = "visible";
	}
}
function div_hide(eintrag){
	if (navigator.appName == "Netscape"){
		document.getElementById(eintrag).style.visibility = "hidden";
	} else {
		document.all[eintrag].style.visibility = "hidden";
	}
}