function set_image (id, src) {
	document.getElementById(id).src = src;
}