htmlspecialchars($file_sorgente[1]);

htmlspecialchars($file_sorgente[4]);

cosi faccio!!! e' sbagliato?

ciao