$file_name deleted"; header("Location: " . $_SERVER["HTTP_REFERER"]); }