let xk_kra                 = 0x3a2