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