function mnavon(button) {if (document.images) document.images[button].src= 'images/mnav_on_'+button+'.gif';}
function mnavoff(button) {if (document.images) document.images[button].src= 'images/mnav_off_'+button+'.gif';}