// JavaScript Document
function imageChange(img){
	document.mainimg.src = img;
}