startList = function() {
	//var txt = document.getElementById("txt");
		var lis = document.getElementById("nav").getElementsByTagName("LI");
		for (var i=0; i<lis.length; i++) {
			lis[i].onmouseover=function() {
				this.className+=" over";
			}
			lis[i].onmouseout=function() {
			  this.className="";//this.className.replace(" over", "");
			}
		}
}
window.onload=startList;