/* 
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

function menu_box_show(menu_disc) {
    document.getElementById('menu_box').innerHTML = menu_disc;

}

function menu_box_hide() {

    document.getElementById('menu_box').innerHTML = " ";

}