for ($i = 0; $i < $keysleft; $i++) {
      $val[$i] = ($keysleft-$i)/$pool;
}
foreach ($val as $x => $y) {
	$total += $y/$pool;
}
$newtotal = $total/$keysleft;
echo $newtotal;