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