what is the XOR of 1032 and 3007

4023