let xk_F1                        = 0xFFBE