function changeCharaSize(size) {
	document.getElementById("content").style.fontSize = size + 'px';
	document.getElementById("p1").style.fontSize = size + 'px';
	document.getElementById("p2").style.fontSize = size + 'px';
	document.getElementById("p3").style.fontSize = size + 'px';
	document.getElementById("p4").style.fontSize = size + 'px';
	document.getElementById("p5").style.fontSize = size + 'px';
	document.getElementById("p6").style.fontSize = size + 'px';
	document.getElementById("p7").style.fontSize = size + 'px';
	document.getElementById("p8").style.fontSize = size + 'px';
	document.getElementById("p9").style.fontSize = size + 'px';
	document.getElementById("p10").style.fontSize = size + 'px';
	document.getElementById("p11").style.fontSize = size + 'px';
	document.getElementById("p12").style.fontSize = size + 'px';
	
}