window.onload = hoverstates;
function hoverstates()
{
		var nav = document.getElementsByTagName('div');
		for (var i=0;i<nav.length;i++) {

			nav[i].setAttribute("oldclass", nav[i].className);
			if (nav[i].className == "current_div") {
				nav[i].onmouseover = function() { this.className = "current_on " + this.getAttribute("oldclass"); };
				nav[i].onmouseout = function() { this.className = this.getAttribute("oldclass"); };
			}
			else {
				nav[i].onmouseover = function() { this.className = "on " + this.getAttribute("oldclass"); };
				nav[i].onmouseout = function() { this.className = this.getAttribute("oldclass"); };
			}
		}
}