function invertmenu(elmnt) {
elmnt.style.background="#ffffcc"; 
} 

function revertmenu(elmnt) {
elmnt.style.background =""; 
}