function tr1(a)
{
a.style.border='1px double white';
}

function tr2(a)
{
a.style.border='1px double #7d5e4c';
}