PHP Redirection Script

<?php
    header("Location: http://new_url/");
?>

I always forget the syntax and always have to google for it. So I am putting this code here. Am so lazy, you see. :o)