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