Определение скорости работы php-скрипта

$start1=gettimeofday();

for($i = 0; $i < 10000; $i++)
{
// do nothing
}

$end1 = gettimeofday();
$totaltime1 = (float)($end1['sec'] - $start1['sec']) + ((float)($end1['usec'] - $start1['usec'])/1000000);

echo "$totaltime1\n";