';print $to_url;
if(($to_url == '') || ($to_url == 'error')){
$to_url = $to_base_url . '/';
}
out_html_redirect($to_url);
exit;
function out_html_redirect($uri){
header("Location: $uri");
$html = <<< ___HTML_BODY___
302 Moved Temporarily
___HTML_BODY___;
print $html;
}
?>