// %~%@ < 1.001 > @%~%
// %~%# < 05/01/2006 > #%~%
// %~%! < links > !%~%

function timedRedirect(theURL)
{
    //  This form of changing location "does" add to the
    //  browser's history, but since we are dealing with
    //  JavaScript 1.0 we can't do much about it.
    //
    window.location.href = theURL;
}

function doRedirect(theURL1,theSeconds)
{
    //  The JavaScript 1.0 version of this function supports
    //  browsers that don't have the ability to replace this
    //  file in the browser history.  As a result we want to
    //  make sure that we briefly delay so when the visitor
    //  is moving back through their browser-history they
    //  will have time to press the back-button on this page
    //  before the script moves them to the redirection
    //  target page again.
    //
    setTimeout( "timedRedirect('" + theURL1 + "')", 10 * 1000 );
}