// images.js
// For image swapping on detail page
// $Id: images.js 472 2008-04-10 14:31:58Z mjh $
// $Revision: 472 $
function imgSwitch(url) {
  i = document.getElementById('main_image');
  i.src = url;
  return false;
}