[PHP] redirection to another page function

[Carlos Fernando Scheidecker Antunes]

Hello all!

Is there any PHP native function to redirect to another page or URL?

I would like that once the user clicks on home.php4 and a few verifications are done, 
he/she would be redirected to home.html.

Thanks,

C.F.