function getImage(element_id, image_name) {
	document.getElementById(element_id).src = "/graphic/"+ image_name +".jpg";
}