function MenuOn (menuid) {
    document.getElementById(menuid).src = "images/"+menuid+"b.gif";
}

function MenuOff (menuid) {
    document.getElementById(menuid).src = "images/"+menuid+".gif";
}