function size(x) {
	ptag = document.getElementsByTagName('p').length;
	for (i = 0; i < ptag; i++) {
		document.getElementsByTagName('p')[i].style.fontSize = x;
	}
}