function roll_over(img_id, img_src) {
	document.getElementById(img_id).src = img_src;
}