pub const XKB_KEY_Thai_phophan: u32 = 3518;