function settamanho(size) 
{
	document.getElementById('central').style.fontSize = size;
}