function changeFontSize(inc)
{
if(inc!='normal')
{
  var p = document.getElementsByTagName('div');
  for(n=0; n<p.length; n++) 
  {
    if(p[n].style.fontSize) 
	{
	   var size = parseInt(p[n].style.fontSize.replace("px", ""));
	 
    } else {
       var size = 11;
    }
    p[n].style.fontSize = size+inc + 'px';
   }
   }
   else
   { var p = document.getElementsByTagName('div');
     for(n=0; n<p.length; n++) {
	  
	  p[n].style.fontSize =11 + 'px';
	 }
   
   }
}