求解：echo strtotime('2013-01-01 11:11:11')不同机器结果不同？该如何处理

求解：echo strtotime('2013-01-01 11:11:11')不同机器结果不同？？
相同的两行代码，

<?php
echo $ts='2013-01-01 11:11:11';echo "<br>";
echo strtotime($ts);
?>

在linux服务器上运行，结果是这个：

2013-01-01 11:11:11
1357009871000

但是在我本机上运行，时间戳却是另外一个，这是怎么回事呢？
服务器上的时区设定为"Asia/Chongqing",在linux下用date输出的时间也是正确的，奇怪了
------解决方案--------------------
echo date("Y-m-d H:i:s",1357009871);
echo date("Y-m-d H:i:s",1357038671);

2013-01-01 03:11:11
2013-01-01 11:11:11

差了八个小时，肯定有一个的时区设置有问题。

引用:

引用:两服务器的时区不同？
另外，为啥要乘以1000？这个date,在PHP下是秒数，js是毫秒数。

时区都一样的，*1000是为了转成js的时间戳

------解决方案--------------------
3600秒，不难想象