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