JavaScript redirect a page after 5 seconds

Javascript function to redirect to another page after 5 seconds:


function redirect_after_5_seconds()
{
setTimeout("location.href='index.php/new_url_for_redirection'", 5000);
}