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