   <!--
   function reload_main_top()
   {
    if (parent.main_top_loaded == true)
    {
     // ...la riga seguente serve per ricaricare il main_top dopo che si è ricaricato il main,
     // e ciò allo scopo di garantire, ad esempio, il reindirizzamento da welcome.htm,
     // tuttavia produce la perdita del focus impostato dalla chiamata javascript inizializza() sul main,
     // dunque si decide, al momento, di richiamare questa funzione solo su welcome.htm (su cui serve)...
     parent.frames["main_top"].location.reload(true);
    }
   }

   function set_main_loaded()
   {
    parent.main_loaded = true;
    //reload_main_top();
   }
   //-->