function ov(tr) { tr.style.backgroundColor='#FFFFFF'; }
function ou(tr) { tr.style.backgroundColor='#CCCCCC'; }