let xk_numerosign                                  = 0x6b0