if (document.images) {
nexton = new Image();
nexton.src = "tools/next_on.gif";
backon = new Image();
backon.src = "tools/back_on.gif";
nextoff = new Image();
nextoff.src = "tools/next_off.gif";
backoff = new Image();
backoff.src = "tools/back_off.gif";

	function picon(picname) {
		scotton = eval(picname + "on.src");
		document [picname].src = scotton;
		}
		
	function picoff(picname) {
		scottoff = eval(picname + "off.src");
		document [picname].src = scottoff;
		}
	}