3 var elems = document.getElementsByTagName("time");
4 for(var i = 0; i < elems.length; i++){
5 elems[i].setAttribute("title", elems[i].textContent);
6 elems[i].removeChild(elems[i].firstChild);
7 var t = elems[i].getAttribute("datetime");
8 elems[i].appendChild(document.createTextNode(new Date(t).toLocaleString(undefined, {timeZoneName: "short",
19 if (oldLoad == undefined) {
22 window.onload = function() {