php 如何取得当前时间从 “从1970年1月1日0时开始的毫秒数” ？ 毫秒数

php自带的time()取得是秒数，不是毫秒数.

在用php一个和.net的平台对接的接口，对方.net传输过来的是13的毫秒值。baidu，google很N久也没找到。。 在用php一个和.net的平台对接