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

   
}//fontSize14

function fontSize16() {
   var p = document.getElementsByTagName('p');
   
   for(i=0;i<p.length;i++) {
 		var s = 16;
		p[i].style.fontSize = s+"px"
 
   }
   
}//fontSize14

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

   
}//fontSize18