function timer_start() { global $timestart; $mtime = explode( ' ', microtime() ...