// JavaScript Document

			function doSwap(theImage, strExtension) {
				document.images[theImage].src = '../graphics/'+theImage+'-Over.'+strExtension;
			}
			function doSwapBack(theImage, strExtension) {
				document.images[theImage].src = '../graphics/'+theImage+'.'+strExtension;
			}