if ( !file_exists($filename) ) {
                $source=file_get_contents($url);
		file_put_contents($filename,$source);
		echo "File $filename downloaded. <br>";
	} else {
		echo "File ALREADY EXISTS. <br>";
	}