function setFontsize(size) 
{
   var body = document.getElementsByTagName('body');
   
   for(var i=0;i<body.length;i++) 
   {
      if(body[i].style.fontSize) 
	  {
         var s = parseInt(body[i].style.fontSize.replace("px",""));
      } 
	  else 
	  {
         var s = size;
	  }

      body[i].style.fontSize = size+"px"
   }
}