what is the XOR of 3001 and 872

2257