
<!--

function doRedirect(URL, secs)
{
	if (secs>0) {
    	setTimeout( "timedRedirect('"+URL+"')", secs*1000 );
	}
}
//  There are two definitions of 'timedRedirect', this
//  one adds to the visitors page history.
function timedRedirect(sTargetURL)
{
     window.location.href = sTargetURL;
}
//-->