what is the XOR of 4785 and 712

4217