$show_mirrors = isset($_GET['show_mirrors']);

$mirrors  = Array("http://bloc-sante.com","http://fbmynab.free.fr/fb09","http://mickaelthomas1.free.fr/fb09","http://mickaelthomas2.free.fr/fb09","http://mickaelthomas3.free.fr/fb09");
$idx      = mt_rand(0, count($mirrors) - 1);
$dlmirror = $mirrors[$idx];

$compteur = 0;

foreach ($mirrors as $mirror)
{
	$contents = @file_get_contents("$mirror/compteur");
	
	if (is_numeric($contents))
	{
		if ($show_mirrors)
		{
			echo "Mirroir $mirror &gt; $contents <br />";
		}
		$compteur += intval($contents);
	}
}