function toggleMenu(a,b){if(b){Element.addClassName(a,"over");}else{Element.removeClassName(a,"over");}}