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

//
//  Browsers that support JavaScript1.2 also support DHTML.
//
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)
{
    //  This implementation of the function will be executed
    //  for browsers that support DHTML.
    //
    setTimeout( "timedRedirect('" + theURL1 + "')", theSeconds * 1000 );
}