Cabe destacar que codice_25 no es un tipo.