<!--
/* Check Top Window */
  if (self!=top) top.location.replace(self.location);
//
/* Set Window Name */
function setWinName(section) {
  window.name = section;
}
//
/* Set Main Frame Source */
function mainSrc(src) {
  path = window.main.location.pathname;
  ext = ".html";
  blankFrm = "frm_blank" + ext;
  if (path.indexOf(blankFrm) > 0) {
    src = src + ext;
    window.main.location.replace(src);
  }
}
//-->