php的取毫秒函数

function getmicrotime()
{
    list($usec, $sec) = explode(" ",microtime());
    return substr(
      ((float)$usec + (float)$sec) * 100,
      10,
      2);      
      //124183323994
}