function item_mark(e) {
    document.getElementById(e).style.backgroundColor = "red";
    document.getElementById(e).style.borderColor = 'black';
}

function menu_mark(e) {
    document.getElementById(e).style.backgroundColor = "#AABBCC";
    document.getElementById(e).style.borderColor = 'black';
}

function menu_unmark(e) {
    document.getElementById(e).style.backgroundColor = '';
    document.getElementById(e).style.borderColor = '#DDDDDD';
}