function show_menu(val) {
    $('#menu_' + val).show();
}

function hide_menu(val) {
    $('#menu_' + val).hide();
}

jQuery(document).ready(function() {
    $('#menu_pro').hover(function() {
        //document.getElementById("flash_portal").is_hover();
    }, function(){
        document.getElementById("flash_portal").verif_hide();
    });
});