function highlight(which,color){
if (document.all||document.getElementById)
which.style.backgroundColor=color;
}

function menuOnOff(that,state){
if (state=='on')
that.className='menuLinkOn';
else
that.className="menuLinkOff";
}