function buscar(idComponente)
{
	location.href='index.php?codProg=buscar&palabras='+document.getElementById(idComponente).value;
}

function aumentarTamanio(nomParrafo)
{
	var p = document.getElementById(nomParrafo);
	if(p.style.fontSize == "18px")
	{
		p.style.fontSize = "13px";
		p.style.lineHeight = "15px";
	}
	else
	{
		p.style.fontSize = "18px";
		p.style.lineHeight = "22px";
	}
}