function setOverMenu(menu){
    $("#over" + menu).show();
}
function resetOverMenu(menu){
    $("#over" + menu).hide();
}

/*jQuery(document).ready(function () {
    var posReale = parseInt(jQuery("#DivmenuAll").offset().top);
    var posMenu = parseInt(jQuery("#divPosizioneMenu").offset().top);
    var posMenu=posMenu-posReale;
    jQuery("#DivmenuAll").css("margin-top",posMenu+"px");
})*/