<!--
function changeImg(number,img) {
   if (document.images) { 
     document.images['mainImage'].src=('images/prod_' + img + '_lg' + number + '.jpg');  
   }
}
-->