function mark (t,b) {
top_bar.document.getElementById(t).className='menu_on';
bar.document.getElementById(b).className='bar_on';
}

function map () {
top_bar.document.getElementById("top17").className='menu_on';
}

function mar (t) {
top_bar.document.getElementById(t).className='menu_on';
}