pub const ENCODING_ENC_UDOT_Z_ZZZI_D: ENCODING = 3650;