function BG_high(obj) { obj.style.backgroundColor='#003300'; }
function BG_low(obj) { obj.style.backgroundColor=''; }