Simple time synchronization between an HTTP server and a JavaScript client