<!--
		var bu1=new Image(); bu1.src="edit/butt_b.gif"	// ein = onmouseover
		var bu2=new Image(); bu2.src="edit/butt_a.gif"	// aus = onmouseout
	
		function ein(id)	
		// onmouseover
	{
 		document.images[id].src=bu1.src;
 	}
	
		function aus(id)	
		// onmouseout
	{
 		document.images[id].src=bu2.src;
	}
// -->