what is the XOR of 4137 and 580

4717