Я чёт не всосал... Речь идёт о

<?php
header("Refresh: 20; http://somehost.somedomain");
?>

???