what is the XOR of 4987 and 712

4531