//var winid = getCookie("WINID");
//alert("Cookie id " + winid);

if (window.name == "") {
  ts = new Date();
  window.name = ts.getMilliseconds() + ts.getSeconds() + ts.getMinutes() + ts.getHours();
//  alert("Windows Name modificato " + window.name);
  setWinid();
}

window.onfocus = setWinid;