Il primo charAt ha come parametro messaggio.length(), ma gli indici vanno da 0 <= pos <= messaggio.length()-1