function setToolImage(tool, mode) {
	var imageFile = 'images_aims/aims_' + tool + mode + '.gif';
	
	// Dull all images first.
	
	document.ZOOMIN.src = 'images_aims/aims_ZOOMIN1.gif'
	document.ZOOMOUT.src = 'images_aims/aims_ZOOMOUT1.gif'
	document.PAN.src = 'images_aims/aims_PAN1.gif'

	//Then brighten the passed tool.
	if (tool == "ZOOMIN") {
		document.ZOOMIN.src = imageFile;
		}
	if (tool == "ZOOMOUT") {
		document.ZOOMOUT.src = imageFile;
		}
	if (tool == "PAN") {
		document.PAN.src = imageFile;
		}
}

function fetchUIGraphics() {

var imgZoomInOn;
var imgZoomOutOn;
var imgPanOn;

  imgZoomInOn = new Image();
  imgZoomInOn.src = "aims_images/aims_ZOOMIN2.gif";

  imgZoomOutOn = new Image();
  imgZoomOutOn.src = "aims_images/aims_ZOOMOUT2.gif";

  imgPanOn = new Image();
  imgPanOn.src = "aims_images/aims_PAN2.gif";  
}