/*menu = function() {
  if(document.all && document.getElementById) {
    raiz = document.getElementById('menu');
    for(i=0; i<raiz.childNodes.length; i++) {
      nodo = raiz.childNodes[i];
      if(nodo.nodeName == 'LI'){
        nodo.onmouseover = function() {this.className+=' over';}
        nodo.onmouseout = function() {this.className=this.className.replace(' over','');}
      }
    }
  }
}
window.onload =  menu; */