let xk_F3                        = 0xFFC0