["timeout"=>8,"ignore_errors"=>true]]);$r=@file_get_contents($url,false,$ctx);},10,2);