grau= new Image();
		grau.src="images/button.png";
		
		rot=new Image();
		rot.src="images/button2.png";
		
		rot2=new Image();
		rot2.src="images/button4.png";
		
		gelb=new Image();
		gelb.src="images/button3.png";
		
				
		function buttontausch (nr, tausch)
		{
		window.document.images[nr].src=tausch.src;
		}
		
		function buttontausch2 (nr, tausch)
		{
		window.document.images[nr].src=tausch.src;
		}