what is the XOR of 3017 and 4242

7003