function size01 (){
	document.body.style.fontSize = "70%";
	}
function size02 (){
	document.body.style.fontSize = "80%";
	}
function size03 (){
	document.body.style.fontSize = "90%";
	}