4 ms·

Good for them. I wish everybody would move to ISO 8601 formatted (ideally UTC-offset) dates and times.