let xk_F30                        = 0xFFDB