一个关于页面运行时间的代码

<?php 
$k=microtime(TRUE);// microtime() 函数返回当前 Unix 时间戳和微秒数。开始时间
$s=array();
$i=0;
do {

$i++;
$s[$i]=rand(100000000, 1000000000);



}while ($i<1000);
for ($j=0;$j<1000;$j++)
{
echo $j."<br/>";
echo $s[$j]."<br/>";
if ($s[$j]==234343345)
{
echo "cunzai";
}


}
$o=microtime(TRUE); // 结束时间
$l=$o-$k;//结束时间减去开始时间
echo $l;
echo $j;

?>

这就是网页运行时间  呵呵