function download($url){
$file = basename($url);
$f = fopen($file, 'w');
$ch = curl_init($url);
curl_setopt($ch, CURLOPT_SSL_VERIFYPEER, FALSE);
curl_setopt($ch, CURLOPT_FILE, $f);
curl_setopt($ch, CURLOPT_TIMEOUT, 50000);
curl_exec($ch);
curl_close($ch);
fclose($f);
}