function php_timer(){
static $arr_timer;
if(!isset($arr_timer)){
$arr_timer = explode(" ", microtime());
}else{
$arr_timer2 = explode(" ", microtime());
$result = ($arr_timer2[1] - $arr_timer[1]) + ($arr_timer2[0] - $arr_timer[0]);
$result = sprintf("%.4f",$result);
return $result;
}
return false;
}