/*initialize top navigation*/
function initNav() {
  var divNav = document.getElementById("nav");
	
  if(divNav != null){
    var navItems = divNav.getElementsByTagName("li");
  	for (var i=0; i<navItems.length; i++) {
  		navItems[i].onmouseover=function() {
  			this.className+=(this.className.length>0? " ": "") + "navhover";
  		};
  		navItems[i].onmouseout=function() {
  			this.className=this.className.replace(new RegExp("( ?|^)navhover\\b"), "");
  		};
  	};
	}
}