var img = "gfx/mastermind-beispiel1.gif";

function changeImage()
{
	img = (img.indexOf('beispiel1') == -1) ? "gfx/mastermind-beispiel1.gif" : "gfx/mastermind-beispiel2.gif";
	document.getElementById('beispiel').src = img;
}