what is the XOR of 1144 and 3007

4039