function setStyleById(i, p, v) { var n=document.getElementById(i); n.style[p]=v; }
function rightMenuButtonOn(b_td_id) { setStyleById(b_td_id,"backgroundColor","#336699"); }
function rightMenuButtonOff(b_td_id) { setStyleById(b_td_id, "backgroundColor","#9CB2CD"); }