$headtime=$sec+$msec; // На этом месте должен быть ваш php код.
// Можно сделать простой инклудинг:
// include("script.inc.php"); // Определяем ещё раз текущее время. list($msec,$sec)=explode(chr(32),microtime()); // Выводим время затраченное на выполнение скрипта
// с 4 знаками после запятой (точки). echo "Страница сгенерировалась за ".round(($sec+$msec)-$headtime,4)." сек.";
?>