<?php
echo time(), " сек\n";
echo number_format(time(), 0, ',', ' '), " сек\n";
list($usec, $sec) = explode(" ", microtime());
echo number_format($sec . round($usec*1000), 0, ',', ' '), " мсек\n";
sleep(5);
list($usec, $sec) = explode(" ", microtime());
echo number_format($sec . round($usec*1000), 0, ',', ' '), " мсек\n";