// JavaScript Document function display(thumb){   if(document.images) {  document.getElementById('displayM').src = thumb.src.replace(/S(?=\.)/,'M');   } }
