var zaehlen=0;
	var fenster="";
			function fenstername(datei){
			fenster=window.open(datei,"Fenster","width=420,height=325,screenX=20,screenY=150,dependent=yes");
			fenster.focus();
			}

			function fensterschliessen(){
				if (fenster.closed == false){
				fenster.close();
				}
			}
			function seitenaufruf(Liste) {
				location.href=Liste.options[Liste.selectedIndex].value;
			}