13位时间戳的生成方法

　　　　

list($usec, $sec) = explode(" ", microtime());
$usec=substr($usec,2,3);
$time=$sec.$usec;