function change_image(path){
	document.mainimage.src = path;
}