function getKeyPress(e, fontsize) {
	if (e.which == 0) /* This will prevent Mozilla browser from selecting the fontsize while tabbing */
	 return false;
	else {
		setActiveStyleSheet(fontsize);
		refresh();
	}
}

 var cookie = readCookie("style");
 var title = cookie ? cookie : getPreferredStyleSheet();

 if (document.cookie == "")
 {
  createCookie("style", "standard", 0);
  setActiveStyleSheet("standard");
 }

 if (document.cookie != "") 
 {
   document.write("<div id='fontSize'>");
   document.write("<ul>");
   if (title == "standard") { document.write("<li><a class='smallcurrent'");}
    else {document.write("<li><a class='small'");}
   document.write(" title='Switch to Small Text Size' href='#' tabindex=\"21\" onkeypress=\"getKeyPress(event,'standard')\" onclick=\"changeStyleSheet('standard'); refresh(); return false;\"></a></li>");
   if (title == "medium") {document.write("<li><a class='mediumcurrent'");}
    else {document.write("<li><a class='medium'");}
   document.write(" title='Switch to Medium Text Size' href='#' tabindex=\"22\" onkeypress=\"getKeyPress(event,'medium')\" onclick=\"changeStyleSheet('medium'); refresh(); return false;\"></a></li>");
   if (title == "large") {document.write("<li><a class='largecurrent'");}
    else {document.write("<li><a class='large'");}
   document.write(" title='Switch to Large Text Size' href='#' tabindex=\"23\" onkeypress=\"getKeyPress(event,'large')\" onclick=\"changeStyleSheet('large'); refresh(); return false;\"></a></li>");
   document.write("</ul>");
   document.write("</div>");
 }