execution time: $diff ms"; } function timer_start() { global $timer; $timer = explode(" ", microtime()); } ?>