function load_page()
{
  var here = window.document.URL;
  var fn = here.substring(here.lastIndexOf("/")+1, here.length);
  var base = fn.substring(0,fn.lastIndexOf("."));

  //  .shtml extension because we use server side includes
  parent.stage.location = ("stage/" + base + ".shtml");
}

function set_title()
{
  window.document.title = this.document.title;
}