what is the XOR of 3971 and 580

3527