function setTextSize(thisSize)
{
                document.cookie = "textSizeVar="+thisSize+"; ; path=/"
                textSizeEms = thisSize;
}
function applyTextSize()
{
	document.body.style.fontSize = textSizeEms +"em"
}

var textSizeEms  = 0.9;
var ca = document.cookie.split(';');
for(var i=0;i < ca.length;i++)
{
   var c = ca[i];
   while (c.charAt(0)==' ')
   {
   c = c.substring(1,c.length);
   }

   if (c.indexOf("textSizeVar=") == 0)
   {
      textSizeEms  = c.substring("textSizeVar=".length,c.length);
   }
}