用time()取到的是10位貌似网上大年夜多的都是十位然则我模仿某网站登录时记录的cookie是13位并且据说13为是比10位更精确的unix时光戳似乎可以用js获取到10位和13位的请问怎么用php获取13位的