navigationList = function() {
	if (document.all && document.getElementById) {
		/* This is Internet Explorer */
		nav = document.getElementById("navigation").firstChild;
		for (i=0; i < nav.childNodes.length; i++) {
			node = nav.childNodes[i];
			if (node.nodeName.toLowerCase() == "li") {
				node.onmouseover = function() {
					this.className += " hover";
				}
				node.onmouseout = function() {
					this.className = this.className.replace(" hover", "");
				}
			}
		}
	}
}

window.onload.actions.push(navigationList);