function cambiar_estillo(objeto, estillo)
{
	var x=document.getElementById(objeto);
	x.className=estillo;
}