document.write("

updated at 15:43 UTC, Feb. 10

");