// images.js
// For image swapping on detail page
// $Id: images.js 1436 2009-07-03 17:13:10Z mjh $
// $Revision: 1436 $
function imgSwitch(url) {
  i = document.getElementById('main_image');
  i.src = url;
  return false;
}