var size=11;
function fontSize(x) {
   var p = document.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 = 10;}
        
      p[i].style.fontSize = x+"px"
   }
}