function change_img(img_path){
	
	document.mainimg.src = img_path;
	
	return;
}