let xk_division            = 0x0f7