window.onload = function() {
	if (document.all && document.getElementById) {
		var navLis = document.getElementById("nav").getElementsByTagName( 'li' );
		for (var i = 0, navLisLength = navLis.length; i < navLisLength; i++) {
			navLis[i].onmouseover = function() {
				if (this.className == '') {
					this.className = 'over';
				}
				else {
					this.className += ' over';
				}
			}
			navLis[i].onmouseout = function() {
				this.className = this.className.replace(/\s?over/, '');
			}
		}
	}
}