what is the XOR of 2423 and 712

3007