1839 XOR 1142

857