function menuon(a)  { a.style.backgroundColor='#000000'; }
function menuoff(a) { a.style.backgroundColor='#FFFFFF'; }