function menu() {
	var navRoot = document.getElementById("navigation-items");
	for(i=0;i<navRoot.childNodes.length;i++) {
		var node = navRoot.childNodes[i];
		if(node.nodeName == "LI") {
			node.onmouseover=function() {
				this.className += " over";
			}
			node.onmouseout=function() {
				this.className = this.className.replace("over", "");
			}
		}
	}
}