what is the XOR of 2023 and 4212

6035