function fliptop(flipimage) {
		obj = document.getElementById("flipout");
		obj.src = "images/"+flipimage+".gif";
		}