window.onload = function() {
	if (document.all && document.getElementById) {
		li = document.getElementsByTagName('li');
		for (i=0; i<li.length; i++) {
			li.item(i).onmouseover=function() {
				this.className+=" over";
			}
			li.item(i).onmouseout=function() {
				this.className=this.className.replace(" over", "");
			}
		}
	}
}