El código quedará así: codice_9.