function swapImage(imageNum) {
	var displayImage = document.getElementById("displayimage")
	displayImage.src = "card" + imageNum + ".gif";
	

}


