instant-0chan/ntp.php

<?php echo (string) round($_SERVER['REQUEST_TIME_FLOAT'] * 1000);