iemenulinks = function () {
	if (document.all&&document.getElementById) {
		var menu = document.getElementById("links").getElementsByTagName("LI");
		for (i=0; i<menu.length; i++) {
			menu[i].onmouseover = function() {this.className += " over";}
			menu[i].onmouseout = function() {this.className=this.className.replace(" over", "");}
		}
	}
}
window.onload = iemenulinks;