php copy files from externat server

<?
$url=”http://www.bbflights.com/VatsimPHP/download/”;
if(!file_exists(“VatsimPHPgenerator.php”))
{
copy($url.”VatsimPHPgeneratorupdate.php”, “VatsimPHPgenerator.php”);
}
if(!file_exists(“VatsimPHPoptions.txt”))
{
copy($url.”VatsimPHPoptions.txt”, “VatsimPHPoptions.txt”);
}
?>