function highlight(e)
{
    e.className = "menu_mc_highlight";
}

function unhighlight(e)
{
    e.className = "menu_mc";
}