function roll_over(imagename,img_src)
   {
   document.getElementById(imagename).src = img_src;
   };
   
   
   function changeBanner(img_src,img_alt)
   {
   document.getElementById("CurrentPageImage").src = img_src;
   document.getElementById("CurrentPageImage").alt = img_alt;
   };