php13位时间戳

$timestamp=substr(str_replace('.','', microtime(true)),0,13);