
<!--

// hover program 
var gfxDir = "../graphics/";

var imgList = new Array(
"nav_but1_off.gif","nav_but1_on.gif",
"nav_but2_off.gif","nav_but2_on.gif",
"nav_but3_off.gif","nav_but3_on.gif",
"nav_but4_off.gif","nav_but4_on.gif",
"nav_but5_off.gif","nav_but5_on.gif",
"nav_but6_off.gif","nav_but6_on.gif",
"nav_but7_off.gif","nav_but7_on.gif"

);
	
var butObj = new Array();

for (var i in imgList) {
    butObj[i] = new Image();
    butObj[i].src = "../graphics/" + imgList[i];
}

function swapImg(iname, stat) {
    if (currImg != iname) {
	if (document.images) {
	    if (stat == 1)
	        document.images[iname].src = "../graphics/" + iname + "on.gif";
	    else
	        document.images[iname].src = "../graphics/" + iname + "off.gif";
	}
    }
}

function setImg(iname, stat) {
    document.images[iname].src = "../graphics/" + iname + "on.gif";
}

var defaultImg = "fill";
currImg = defaultImg;

//-->