// These lines must be inserted preceding the </head> statement of each page:
// (if necessary, change "../ehs.js" and "../ehs.css" to point to root)
//
// +-----
// |  <script language="JavaScript" src="../ehs.js"></script>
// |  <script>
// |  <!--
// |  // -->
// |  </script>
// |  <link rel=stylesheet type="text/css" href="../ehs.css">
// |  <style type="text/css"><!--
// |  --></style>
// +-----
//

// These are the standard JavaScript functions used on edgewaterhistory.org pages...

function mainFrame(x) {
    if (!x) x = "index.html";
    tempStr = location.href;
    tempStr = tempStr.substr(1 + tempStr.lastIndexOf("/"));
    window.location.replace(x + "?" + tempStr);
}

function getFrame(x) {
    if (!x) x = "index.html";
    window.location.replace(x);
}