let xk_F12                        = 0xFFC9