var base = 'img/'

function tocItem (name, width, height) {
   
	this.off = new Image();
	this.off.src = base + "fadedot.gif";
	this.on = new Image();
	this.on.src = base + name + "_hl.gif";
}
function toc_new (name) {
	tocItem[name] = new tocItem(name);
}
function img_act (imgName) {
	if (document.images) {
		document[imgName].src = tocItem[imgName].on.src;
	}
}
function img_inact (imgName) {
	if (document.images) {
		document[imgName].src = tocItem[imgName].off.src;
	}
}


if (document.images != null) {
for(i=0; i<4;i++){
	toc_new (i);
	}
}