function leftMenu_onmouseover(menu) {
menu.style.backgroundColor = "#DBDBDB"
}

function leftMenu_onmouseout(menu) {
menu.style.backgroundColor = "#efefef"
}

function leftSubMenu_onmouseover(menu) {
menu.style.backgroundColor = "#F5F1F8"
}

function leftSubMenu_onmouseout(menu) {
menu.style.backgroundColor = "#ffffff"
}

function leftHighlightsMenu_onmouseover(menu) {
menu.style.backgroundColor = "#FDFDFD"
}

function leftHighlightsMenu_onmouseout(menu) {
menu.style.backgroundColor = "#eeeeee"
}