what is the XOR of 4037 and 580

3457