what is the XOR of 3017 and 1145

4016