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