function hilite(idnum) {

 var menuID='lm'+idnum;

 var menuitem = document.getElementById(menuID);

 menuitem.className='menuhighlighted';

}

function nolite(idnum) {

 var menuID='lm'+idnum;

 var menuitem = document.getElementById(menuID);

 menuitem.className='aa';

}