//
// Seconda definizione della funzione esterna() che deve
// essere usata dal documento che carica questo script.
//
var contatore=1000;
function esterna(){
    var obj=document.getElementById("xrisultato");
    contatore++;
    obj.setAttribute("style","color:blue; font-size:150%");
    obj.innerHTML="Risultato della libreria contenuta nel file esterno2"+
    "\u003cbr/\u003eIl valore del contatore delle esecuzioni \u00e8 :"+contatore;
    return 2;
    }
//
// Naturalmente questo esempio serve solo come ... ESEMPIO !
//