 if (document.getElementById)
 {
   readCookie()  // reads and sets here, should probably be onLoad. 

   document.write('<span style="cursor:pointer" onClick="downSize()" class="fontSizer" title="smaller font"><font size="-2">&nbsp;&nbsp;A</font><\/span>')
   document.write('<span style="cursor:pointer" onClick="normSize()" class="fontSizer" title="normal font size"><font size="3">A</font><\/span>')
   document.write('<span style="cursor:pointer" onClick="upSize()"   class="fontSizer" title="larger font"><font size="+2">A</font><\/span>')
 }
