function show_menu ( div )
{
    document.getElementById(div).style.display='block' ;
}

function hide_menu ( div )
{
    document.getElementById(div).style.display='none' ;
}