// 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;
}

function change_photo(id, id_dest) {

	var photo_src = document.getElementById(id);
	var photo_dst = document.getElementById(id_dest);
	var tmp = photo_dst.src;

	photo_src.src = photo_src.src.replace("_p", "_m");

	photo_dst.src = photo_src.src;
	photo_src.src = tmp;
}