function highlight(img_name, img_src) {
	img_name.src=img_src;
}