- microtime: documentation ( source)
- round: documentation ( source)
- explode: documentation ( source)
- str_pad: documentation ( source)
<?php
list($msec, $sec) = explode(' ', microtime());
echo $msec . ' '. $sec;
echo str_pad(round($msec*1000, 0), 3, '0');