0) { $referrer = $default_referrer; } header('Location: ' . $referrer); exit; ?>