<!--

function setCookie(name, value) {
  var curCookie = name + "=" + escape(value) + "; expires=Tues, 01-Jul-2025 11:00:00 GMT; path=/; ";
  document.cookie = curCookie;
  self.location.href = self.location.href;
}

function setFontCookie(name, value) {
  var curCookie = name + "=" + escape(value) + "; expires=Tues, 01-Jul-2025 11:00:00 GMT; path=/; ";
  document.cookie = curCookie;
  self.location.href = self.location.href;
}

function getCookie(name) {
  var dc = document.cookie;
  var prefix = name + "=";
  var begin = dc.indexOf("; " + prefix);
  if (begin == -1) {
    begin = dc.indexOf(prefix);
    if (begin != 0) return null;
  } else
    begin += 2;
  var end = document.cookie.indexOf(";", begin);
  if (end == -1)
    end = dc.length;
  return unescape(dc.substring(begin + prefix.length, end));
}

if (getCookie('fontsize') == null) {
	var fontsize = 10;
} else {
	var fontsize = getCookie('fontsize');
}

function changeFontSize (fontsize) {
	setFontCookie('fontsize',fontsize);
}

document.write('<style type="text/css">');
document.write('div.bodytext {font-size:'+fontsize+'pt;}');
document.write('td.bodytext {font-size:'+fontsize+'pt;}');
document.write('td.bodytext p {font-size:'+fontsize+'pt; }');
document.write('td.bodytext ul {font-size:'+fontsize+'pt; }');
document.write('td.bodytext ol {font-size:'+fontsize+'pt; }');
document.write('.defaultbody td {font-size:'+fontsize+'pt;}');
document.write('<\/style>');

//-->
