function imageChange(image_id, image_file) {
	document.getElementById(image_id).src = image_file;
}