devo scrivere il carattere ESC con codifica esadecimale (1b) in un file di testo. Come si fa?