let xk_telephone                                   = 0xaf9