function tr_over(src)
{
	src.style.background = '#F1F1E4';
}

function tr_out(src)
{
	src.style.background = '#FFFFFF';
}

function mostrar(src)
{
	elemento =  document.getElementById(src);
	elemento.style.display = 'block';
}

function ocultar(src)
{
	elemento =  document.getElementById(src);
	elemento.style.display = 'none';
}
function marcar(src)
{
	elemento =  document.getElementById(src);
	elemento.className = 'marcado';
}
function desmarcar(src)
{
	elemento =  document.getElementById(src);
	elemento.className = 'nomarcado';
}