window.onload = function(){
	document.getElementById("setButton1").onclick = function(){
		var divBox = document.getElementById("result");
		divBox.className = divBox.className.replace(/largef/g, "type12honbun");
	}
	document.getElementById("setButton2").onclick = function(){
		var divBox = document.getElementById("result");
		divBox.className = divBox.className.replace(/type12honbun/g, "largef");
	}
}