function setFontSize(size)
{
   var p = document.getElementsByTagName('p');
   for(i=0;i<p.length;i++)
      p[i].style.fontSize = size+"px"
}