function change_size(val)
	{document.body.style.fontSize = val + "%";}

	function change_and_set(val)
	{
	change_size(val);
	}