Redirect Timer

[Anon]

I am having the code as below:

function redirect($URL)
{
echo "<script language='javascript'>";//
echo "function redirect(url){" ;
echo "document.location.href=url;}";
echo "redirect($URL)";
echo "</script>";
}

How do I insert the timer like few seconds before redirect to the page? Thanks.

Alex

[Anon]

This is a Javascript thing. onTimeOut(5,\'redirect\') or something like that - check your favourite Javascript reference for the exact syntax.