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