"; echo "

That file [$get] is not available for download.
"; echo "Please contact the server administrator paulk@studiox64.com."; } ?>