function loadDoc (lnk) {
  parent.frames.main.location = lnk;
}





function loadToc (lnk) {
  if (lnk == 'toc.html') {
    if (parent.frames.topside) {
      parent.frames.topside.location = lnk;
    }
  } else if (lnk == 'main.html') {
    if (parent.frames.main) {
      parent.frames.main.location = lnk;
    }
  }
}

function showInfo (lnk) {
  parent.frames.side.location.replace(lnk);
}
function archItem (lnk) {
  window.open(lnk, 'architem');
}