// images.js
// For image swapping on detail page
// $Id: images.js 1418 2009-06-26 14:53:04Z mjh $
// $Revision: 1418 $
function imgSwitch(url) {
  i = document.getElementById('main_image');
  i.src = url;
  return false;
}