function show_menu(men)
{
document.getElementById(men).style.display = 'block';
}
function hide_menu(men)
{
document.getElementById(men).style.display = 'none';
}