function setup_ienav() {
	if (document.all&&document.getElementById) {
		var ul_array = document.getElementsByTagName("ul");
		for (i=0; i<ul_array.length; i++) {
			if(ul_array[i].className == 'hover') {
				setList(ul_array[i]);
			}
		}
	}
}

function setList(list) {
	listItems = list.getElementsByTagName("li");
	for(k=0; k<listItems.length; k++) {
		var node = listItems[k];
				node.onmouseover=function() {this.className+=" over";}
		node.onmouseout=function() {this.className=this.className.replace(" over", "");}
	}
}