function changeImage(filename){
			document.mainimage.src = filename;
		}