ToolCnt = 12;
ToolImg = new Array(
	"image/his2b.gif","image/his2bg.gif",
	"image/hisb.gif","image/hisbg.gif",
	"image/hisf.gif","image/hisfg.gif",
	"image/his2f.gif","image/his2fg.gif",
	"image/zoom+.gif","image/zoom+g.gif",
	"image/zoom-.gif","image/zoom-g.gif"
);
ToolTbl = new Array( ToolCnt );
for (i=0; i<ToolCnt; i++){ToolTbl[i] = new Image(); ToolTbl[i].src = ToolImg[i];}

function Tchg(myNAME,myTOOL){document.images["Tool"+myNAME].src = ToolTbl[myTOOL].src;}

function ZoomRg(myZoom){
	void(s=parent.frames[2].document.body.style);
	void(z=s.getAttribute('zoom'));
	if(z){s.setAttribute('zoom',(parseInt(z)+myZoom)+'%');
	}else s.setAttribute('zoom',100+myZoom+'%');
}