function SetTextSize(indx){
  var pBody=document.getElementsByTagName("BODY")[0];
  var nextYear= new Date();
  nextYear.setFullYear(nextYear.getFullYear()+1);
  pBody.className="size"+indx;
  document.cookie = "UserPrefs_TextSize=" + indx + ";path=/;expires=" + nextYear.toGMTString();
}