function navOn(theNav) {
	for (i=1; i<8; i++) {
		if (i == theNav) {
			document.getElementById("n" + i).className = "offOver";
		} else {
			element = document.getElementById("n" + i);
			if (element.className == "offOver") {
				element.className = "off";
			}
		}
	}
}

function navOff(theNav) {
	document.getElementById("n" + theNav).className = "off";
}