// %~%@ < 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.replace( theURL );
}

function doRedirect(theURL1,theSeconds)
{
    //  JavaScript 1.1 added the 'replace' function on the
    //  location object so we can change locations without
    //  adding to the browser's history.
    //
    setTimeout( "timedRedirect('" + theURL1 + "')", theSeconds * 1000 );
}