updateMenu();
function updateMenu()
{
  d = top.frames.titleFrame.document;
  d.getElementById("menuTitleText").innerHTML = document.title;
  d = top.frames.menuFrame.document;
  for (i = 0; i < d.links.length; i++) {
    if (d.links.item(i).href == document.location || d.links.item(i).innerHTML == document.title)
      d.links.item(i).className = "selA";
    else if (d.links.item(i).className == "selA")
      d.links.item(i).className = null;
  }
}