function menuOver(a) {
    a.style.background = "url('/i/bg-menuitem-a.gif')";
    a.style.borderLeft = "#6b2400 6px solid";
}

function menuOut(a) {
    a.style.background = "url('/i/bg-menuitem.gif')";
    a.style.borderLeft = "#48606c 6px solid";
}