1888 XOR 1251

899