what is the XOR of 580 and 3251

3831