var thecookie = document.cookie;
 var thecookie = unescape(thecookie);
 var brokencookie = thecookie.split(":");
 if(brokencookie[1]!=null){
 var thename = brokencookie[1];
 var tsa = thename.split(";");
 var ts = tsa[0];};
 if (ts==""){ts="t1";};


function changesize(ts)
{
var thecookie = "ts=" + escape("textsize:" + ts);
document.cookie = thecookie;
document.getElementById('everything').className= ts;
};