pub const TK_F12: i32 = 0x45;