// JavaScript Document

function ImgOver(name) {
   if (document.images) {  
      nameinfo = name.split(':');
      document.images[nameinfo[0]].src = "images/"+nameinfo[1]+"_h.jpg"; 
   }   
}

function ImgOut(name) {
   if (document.images) { 
      nameinfo = name.split(':');
      document.images[nameinfo[0]].src = "images/"+nameinfo[1]+".jpg";   
   }
}