2889 XOR 1257

4000