/*
		einen Bereich ein-/ausblenden
	*/
	function toggle_area(id) {
	        var vis=document.getElementById(id).style.display;
	        if (vis=="block") vis="none"; else vis="block";
	        document.getElementById(id).style.display=vis;
	}