(El operador de concatenación no es codice_9, sino codice_10.)