// ----------------------------------------------------------------------------
// checkframeset.js
// Part of the framesetjsv2 package (see readme.txt)
// Andrew Drawneek, 3-Feb-2003
// ----------------------------------------------------------------------------

if (window.parent == window.self) {

  location.href = location.protocol + "//" +
                  location.hostname + "/" +
                  frameset_html +   // <<-- framsetglobals.js must be loaded
                  "?mainframe=" +
                  location.pathname;

}