pub const TK_7: i32 = 0x24;