function flip(name)	{
			document.getElementById(name).src = "images/" + name + "on.jpg";
		}

		function flop(name)	{
			document.getElementById(name).src = "images/" + name + ".jpg";
		}