function einblenden(div) {
	with(document.getElementById(div).style){
		if(display=="none"){
			display="inline";}
		else{
			display="none";
			}
		}
	}

function ausblenden(div) {
	with(document.getElementById(div).style){
		if(display=="inline"){
			display="none";}
		else{
			display="inline";
			}
		}
	}