// JavaScript Document
function cambiacolor(id,c)
{
	document.getElementById(id).style.color=c;
}
function redireccionar(f)
{
	location.href=f;
}