if (self != top) {
  if (document.images)
    top.location.replace(window.location.href);
  else
    top.location.href = window.location.href;
}

var correct_frame = true;

document.write('  <frameset cols="12%, 88%" frameborder="0" border="0">');
document.write('    <frame src="navbar.html" name="navbar" frameborder="0" scrolling="auto" marginwidth="0" marginheight="0" noresize> ');
document.write('    <frame src="' + (location.search ? location.search.substring(1) : "splash.php") + '" name="main" frameborder="0" noresize>');
document.write('    <noframes>');
document.write('      <ul>');
document.write('        <li><a href="navbar.html">Navigation Bar</a></li>');
document.write('        <li><a href="main.php">Main</a></li>');
document.write('      </ul>');
document.write('    </noframes>');
document.write('  </frameset> ');