1<?php 2 $url = $_GET['url']; 3 $refresh = $_GET['refresh']; 4 5 if (isset($refresh)) { 6 header("HTTP/1.1 200"); 7 header("Refresh: $refresh; url=$url"); 8 return; 9 } 10 11 $code = $_GET['code']; 12 if (!isset($code)) 13 $code = 302; 14 header("HTTP/1.1 $code"); 15 header("Location: $url"); 16?> 17