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