what is the XOR of 4027 and 580

3583