function change_img(imgname, source) {
	document[imgname].src = source;
}