let xk_F25                        = 0xFFD6