"; echo "

That file [$file.dmg.gz] is not available for download.
"; echo "Please contact the server administrator hornware@hornware.com."; exit(); }; ?>