let xk_F7                        = 0xFFC4