function dropdown() {
	if (document.all) {
		var navRoot = document.getElementById("navigation");
		var childs = navRoot.getElementsByTagName("LI")
		for (i = 0; i < childs.length; i++) {
			var node = childs[i];
			node.onmouseover = function(){
				this.className += " over";
			}
			node.onmouseout = function(){
				this.className = this.className.replace(" over", "");
			}
		}
	}
}

window.onload = dropdown;