function loadDocToc (tocfile) {
  var url = document.URL;
  if (parent.frames.topside) {
    parent.frames.topside.location.replace(tocfile);
  } else {
    parent.window.location.href = "../sect.html?load=" + url;
  }
}

function showQuoteRef (lnk) {
  if (parent.frames.botside) {
    parent.frames.botside.location.replace(lnk);
  }
}
function showAbbrev (lnk) {
  if (parent.frames.botside) {
    parent.frames.botside.location.replace(lnk);
  }
}
function showFtn (lnk) {
  if (parent.frames.botside) {
    parent.frames.botside.location.replace(lnk);
  }
}