let xk_F18                        = 0xFFCF