let xk_F9                        = 0xFFC6