<?php

function utime (){
   $time = explode( " ", microtime());
   $usec = (double)$time[0];
   $sec = (double)$time[1];
   return $sec + $usec;
}

?>