// JavaScript Document
 
// funzione di caricamento testo,accetta una stringa contenente il nome di un file da leggere
// collegamento con libreria errori

// eventale possibilità di inserire controllo di temporizzazione invio richiesta

// eventale possibilità di inserire gif animata per attesa caricamento pagina

function caricaTesto(nomeFile) {
	// variabili di funzione
  	var
    // assegnazione oggetto XMLHttpRequest
    ajax = assegnaXMLHttpRequest(),
    // assegnazione elemento del documento
    elemento = prendiElementoDaId("w11"),
    // risultato booleano di funzione
    usaLink = true;
  	// se l'oggetto XMLHttpRequest non è nullo
  	if(ajax) {
    	// il link al file non deve essere usato
    	usaLink = false;
		//***************SOSTITUISCI IL FORMATO FILE IN TXT**********************
				nomeFile=nomeFile.replace("asp","txt");
		//************************************************************************
    	// impostazione richiesta asincrona in GET
    	// del file specificato
    	ajax.open("get", nomeFile, true);
		// rimozione dell'header "connection" come "keep alive"
    	ajax.setRequestHeader("connection", "close");
    	// impostazione controllo e stato della richiesta
    	ajax.onreadystatechange = function() {
      		// verifica dello stato
      		if(ajax.readyState === readyState.COMPLETATO) {
				elemento.innerHTML = "Impossibile effettuare l'operazione richiesta.<br />";
        		// verifica della risposta da parte del server
        		if(statusText[ajax.status] === "OK")
          			// operazione avvenuta con successo
          			elemento.innerHTML = ajax.responseText;
        		else {
          			// errore di caricamento
          			elemento.innerHTML = "Impossibile effettuare l'operazione richiesta.<br />";
          			elemento.innerHTML += "Errore riscontrato: " + statusText[ajax.status];
        		}
      		} 
    	}
		// invio richiesta
    	ajax.send(null);
  	} 
  	return usaLink;
}