function show_menu( div_id )
{
    document.getElementById( div_id ).style.display = "block";
}