"); printf("", $url); printf("Redirect ", $url, $url); printf(""); if ($die) die(); } ?>