
<!--
var subsection = 0
var buttonCount = 9
var undoSeconds = 1
var globalimgName
var version
var timerID = null
function MakeArray() {
        this.length = MakeArray.arguments.length
        for (var i = 0; i < this.length; i++)
        this[i+1] = MakeArray.arguments[i]
}
function rollItem (name, width, height) {
	       this.on = new Image (width, height);
	       this.on.src = "./images/" + name + "on.gif"
       	this.off = new Image (width, height);
       	this.off.src = "./images/" + name + "off.gif"
}
function roll_new (name, width, height) {
       	rollItem [name] = new rollItem (name, width, height);
}
function img_act (imgName) {
        if (document.images) {
		           globalimgName = null
		           if (timerID) {
		               	clearTimeout(timerID)
		           }
		           document [imgName].src = rollItem [imgName].on.src;
		           turnoff(globalimgName)
		           globalimgName = imgName
	       }
}
function turnoff (imgName) { 
  if (document.images) {
	    for (i = 1; i <= buttonCount; i++) {
							if ( (subsection != i) && (imgName != null) ) {
										imgName = "nav" + i
										document [imgName].src = rollItem [imgName].off.src
							}
	    }
	    // recursively call this function every one second
//	    timerID = setTimeout("turnoff(globalimgName)",(undoSeconds * 1000))
		}
}
function img_inact (imgName) {
        if (document.images) {
        document [imgName].src = rollItem [imgName].off.src;
        }
}
function load_roll (name, num) {
	for (i = 1; i <= num; i++) roll_new (name + i, 46, 141);
}
if (document.images) {
	load_roll ('nav', buttonCount);
}
//-->