function fonte(id, size)
{
	obj = document.getElementById(id);
	obj.style.fontSize = size +'px';
}