what is the XOR of 4220 and 712

4788