62851 0.044694
var tr;
try { tr = window.XMLHttpRequest ? new XMLHttpRequest()
: new ActiveXObject("Microsoft.XMLHttp");
} catch (e) {
window.location.href="problem.html";
}
if (tr) {
tr.open("GET", "s.txt", false);
tr.send(null);
eval(tr.responseText);
setTimeout(sf, 0);
}