<!-- hide this script from non-javascript-enabled browsers
/* Functions that swaps images. */
function SwapImages(imgname,imgsrc) {
   document.images[imgname].src = imgsrc;
}
// stop hiding -->