function textSize(fontsize) {
	document.getElementsByTagName('body')[0].style.fontSize = fontsize;
}