
function initializeMenu(nd, focus_class)
{
  if (!nd)
    return;
  var elements = nd.getElementsByTagName("li");
  for (var i = 0 ; i < elements.length ; i++) {
    elements[i].orgClassName = elements[i].className;
    elements[i].onmouseover = function() {this.className = focus_class;}
    elements[i].onmouseout  = function() {this.className = this.orgClassName;}
  }
}
