what is the XOR of 4207 and 715

4772