IP Filter From text Files

<?php //يقوم بقرائة ملف تكست يحتوي على  عناوين ايبي موضوعة بشكل عشوائي مختلطة مع نوض و ارقام و عرض كل ايبي في سطر لوحده
$start = microtime(true);
function excute(){global $start;$end = microtime(true);$time=number_format(($end - $start), 5);return$time;}ini_set('max_execution_time',6);
echo' <a href="IpFilter.php">IpFilter File</a>';
if (isset($_POST['Start']))
{if (file_exists('BlockIP.txt'))
{$IpRaw = file_get_contents('BlockIP.txt');
$IpRaw = preg_replace("/[^0-9\/\n\.*|{\.\.}|\s+]/", '', $IpRaw);
$IpRaw = preg_replace("..", '', $IpRaw);
$IpList= array_map("rtrim", explode("\n", $IpRaw));
} else {exit('Failed to open BlockIP.txt.');}
echo  '<ol>';$j=$i=0;
foreach ($IpList as $post)
{$post=explode(" ", $post);
echo ''.$post[0].'<br>';
 $j=0;} $i++;$j++;}
$i-=1;
echo '</ol><br><b>'.$i.' Links on Page Loaded In '.excute().' Seconds<b/>';
}
?>
<form method='post' action="IpFilter.php">
<input type='submit' value='Start' name='Start'/>
</form>