Avrei necessità di ricavare l'user agent di chi si collega ad una pagina web con estensione txt.