// JavaScript Document

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