function show_menu(num)
{
 document.getElementById('menu'+num).style.display = 'block';
}


function hide_menu(num)
{
 document.getElementById('menu'+num).style.display = 'none';
}