function menuwechsel(wechsel){

	document.getElementById("menu"+wechsel).setAttribute("onmouseout", "");
	document.getElementById("menu"+wechsel).setAttribute("src", "./images/menu/"+wechsel+"over.png");
	
}