function tr_hl(ThisTR){ ThisTR.style.backgroundColor  = "#BCC2FF"; }
function tr_ol(ThisTR){ ThisTR.style.backgroundColor  = "#EEEEEE"; }

function followLink(Link){ document.location = Link; }