<html>
   <body>
      <script>
         // give lots of preallocated processes time to start, so we don't
         // measure OS process-start time
         setTimeout(function(){ window.location.href = 'index2.html';}, 3000);
      </script>
  </body>
</html>
