var menu_bg_normal = '#0e1bb6';
var menu_bg_dark   = '#2e5bf6';
var menu_bg_selected   = '#7e5bf6';
var menu_selected_id = '';

function menu_dark(obj) {
    obj.style.background = menu_bg_dark;
    }
function menu_normal(obj) {
    if (obj.id==menu_selected_id) obj.style.background = menu_bg_selected;
    else obj.style.background = menu_bg_normal;
    }
function gourl(url) {
    document.location=url;
    }
function page_init(x) {
    document.getElementById('m_'+x).style.background=menu_bg_selected;
    menu_selected_id = 'm_'+x;
    }