// image change for galleries
function changeImage(imgName) {
	  document.getElementById("theImage").src=imgName;	
}