function TamanhoFonte(num, id)
{
document.getElementById(id).className = "fonte"+num;
}