< header("Location: /archivo" . $_GET['file']); ??php>