what is the XOR of 712 and 4515

4971