function DisplayMenu(index) {
    for (i=1; i<=5; i++) {
        if (index==i) {
            document.getElementById('menu'+i).style.display='';
        } else {
            document.getElementById('menu'+i).style.display='none';
        }
    }
}


var m_cur_idx = 1;
var m_pre_idx = -1;