$server_url/$filename"; } else { echo "Failed to download the file."; } ?>