what is the XOR of 42 and 4235

4257