// JavaScript Document

function mouse_over(img_name, img_src)
   {
   document[img_name].src = img_src;
   }// JavaScript Document