     function increaseFontSize() {
         var p = document.getElementById('ff').getElementsByTagName('p');
         for(i=0;i<p.length;i++) {
            if(p[i].style.fontSize) {
               var s = parseInt(p[i].style.fontSize.replace("px",""));
            } else {
               var s = 13;
            }
            if(s!=max) {
               s += 1;
            }
            p[i].style.fontSize = s+"px";
         }
          createCookie('psysize',s);
      };
	  
	 function resetFontSize() {
         var p = document.getElementById('ff').getElementsByTagName('p');
         for(i=0;i<p.length;i++) {
            p[i].style.fontSize = "13px";
         }
		  createCookie('psysize',13);
      }; 
	  
     function decreaseFontSize() {
         var p = document.getElementById('ff').getElementsByTagName('p');
         for(i=0;i<p.length;i++) {
            if(p[i].style.fontSize) {
               var s = parseInt(p[i].style.fontSize.replace("px",""));
            } else {
               var s = 13;
            }
            if(s!=min) {
               s -= 1;
            }
            p[i].style.fontSize = s+"px";
         }
          createCookie('psysize',s);
      };
	  
     function createCookie(name,value,nDays) {
         var today = new Date();
         var expire = new Date();
           if (nDays==null || nDays==0) nDays=60;
              expire.setTime(today.getTime() + 3600000*24*nDays);
              document.cookie = name+"="+escape(value)
                 + ";expires="+expire.toGMTString()+"; path=/";
      };

     function readCookie(name) {
         var nameEQ = name + "=";
         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(nameEQ) == 0) return c.substring(nameEQ.length,c.length);
                                            }
            return null;
      };
	  
      window.onload = setUserOptions;
      var min=10;
	  var standard=(readCookie('psysize')==null)?13:readCookie('psysize');
      var max=20;


     function setUserOptions(){
         var p = document.getElementById('ff').getElementsByTagName('p');
         for(i=0;i<p.length;i++) {
            p[i].style.fontSize = standard+"px";
         }

      };
