what is the XOR of 3023 and 4135

7144