function einschalten(x){
	if (document.images)
		window.document.images[2].src = "images/optimierung-1.gif";
}

function abschalten(x){
	if (document.images)
		window.document.images[2].src = "images/optimierung-2.gif";
}