function mouse_on_menu(no)
{
    document.getElementById('submenu_' + no).style.visibility = 'visible';
}

function mouse_out_menu(no)
{
    document.getElementById('submenu_' + no).style.visibility = 'hidden';
}