Constant KEY_AUTO_HOVER_SET 

pub const KEY_AUTO_HOVER_SET: u32 = 67501;