// JavaScript Document
// image swapper
function swap(theImageId) {
	if (document.images) {
		var mgi = document.getElementById("mainGalleryImage");
		mgi.src = theImageId;
	}
}