function bgchange(x){
			document.getElementById(x).style.backgroundImage="url('images/uebergang_topmenu2.jpg')";
		}
		function bgchange2(x){
			document.getElementById(x).style.backgroundImage="url('images/uebergang_topmenu1.jpg')";
		}
				function picbig(y,x){
					document.getElementById(y).innerHTML = "<img src='images/"+x+".png' alt='"+x+"'/>";
				}
				function picbiger(y,x){
					document.getElementById(y).innerHTML = "<img src='images/"+x+".jpg' alt='"+x+"'/>";
		}