function conmutarFila(num)
{
window.location.hash="#ref"+num;
var estilo=document.getElementById(num).style;
estilo.display=(estilo.display=='none'? '' : 'none');
}