4 ms·

HTML5 does have a <time>-tag, but browsers don't render times in local time, you need JavaScript for that.