what is the XOR of 1045 and 4212

5217