7000) { header("Location: $url"); exit; } header("Location: $url"); exit; ?>