[]java时间用php怎么获得

[求助]java时间用php如何获得？
java：
代码：
String timestamp= new java.util.Date().getTime() + "";
实例值：1338879424123

现在需要用php代码获得同样格式的时间，请问各位大虾如何写，谢谢！



------解决方案--------------------
噢，是毫秒为单位的

echo round(microtime(1)*1000);