what is the XOR of 4135 and 507

4572