的时间成这样子的了，怎么让他变成原来的纯数字的。 我存到mysql数据库里的时间用的是 time(); 获得的。存到索引里成 “1.27883e+09”这样子了，怎么能变回去。或者怎么用date(); 函数格式化？
