function large() {
	document.body.style.fontSize = "100%";
}
function middle() {
	document.body.style.fontSize = "80%";
}
function small() {
	document.body.style.fontSize = "30%";
}