window.onload = function() {
   if (!document.all || !document.getElementById){
       return;
   }
   nodes = document.getElementById("leftNav").getElementsByTagName("li");
   for (i=0; i != nodes.length; i++) {
       nodes[i].onmouseover = function() {
           this.className += "over";
       }
       nodes[i].onmouseout = function() {
           this.className = this.className.replace("over", "");
       }
   }
}