function bg_on(menu_id){menu_id.style.backgroundColor='#909090';}
function bg_out(menu_id){menu_id.style.backgroundColor='#949494';}