php: время выполнения скрипта в секундах

function get_sec(){
	$mtime=microtime();
	$mtime=explode(" ",$mtime);
	$mtime=$mtime[1]+$mtime[0];
	return $mtime;
}
$start_time=get_sec();

$exec_time=get_sec()-$start_time;
printf("<!--Execution time %f sec.-->",$exec_time);