php 获取一个timestamp

function timestamp(){
   list($usec, $sec) = explode(" ", microtime());
   return (double)(((float)$usec + (float)$sec)*10000);
}