pub const Thai_lekkao: u32 = 0xdf9; // 3_577u32