window.setInterval("document.getElementById('sjo').innerHTML=6+Math.round(Math.random()*(5000)+12);", 1000);
var cookval = window.location.href;
function setCookie(name, value) {
var exp = new Date();
exp.setTime(exp.getTime() + 5 * 60 * 1000);
document.cookie = name + "=" + encodeURIComponent(value) + ";expires=" + exp.toGMTString() + ";path=/";
return true;
}