pub const _3270_Ident: u32 = 0xfd13; // 64_787u32