// if a single page was selected directly, try to re-frame it

// some intel about the page layout
var main = "index.html";
var main2 = "";
var maxRec = 5;

// functions
function root(url)
{
  var str = String(url);
  var stop = str.indexOf("/", str.indexOf("://") + 3);
  return (stop > 0? str.substr(0, stop): str);
}

function page(url)
{
  var str = String(url);
  var start = str.indexOf("/", str.indexOf("://") + 3) + 1;
  if(start <= 0)
    return "";
  var stop = str.indexOf("#", start);
  return (stop > start? str.substr(start, stop - start): str.substr(start));
}

function notFramed(win)
{
  for(i = 0; i != maxRec && win != top.window; ++i)
  {
    win = win.parent;
    if(page(win.location) == main || page(win.location) == main2)
      return false;
  }

  return true;
}

function swapTitle()
{
  if(document.title)
    top.document.title = document.title;
}


// the code
if(notFramed(window))
{
  window.location = root(window.location) + "/" + main +
    "#" + page(window.location);
}