// Highlight current selected menu-item
function loadpage(index) {
  for (i=1;i<=99;i++) {
    menu=parent.document.getElementById("menu"+i);
    if (menu) {
      if (i==index) menu.className="menu-active";
      else menu.className="menu";
    }
  }
}

// Load iframe

function menu(page) {
  document.getElementById("iframe").src=page;
}