function changeFontSize(FontSize) 
{ 
	document.body.style.fontSize = FontSize;
}