what is the XOR of 3017 and 1256

3873