function fetch_file($url)
{
$curl = curl_init($url);
curl_setopt($curl,CURLOPT_RETURNTRANSFER,true);
$data = curl_exec($curl);
$http_code = curl_getinfo($curl,CURLINFO_HTTP_CODE);
if ($http_code!=200) {
$result = false;
} else {
$result = $data;
}
curl_close($curl);
return $result;
}