what is the XOR of 4024 and 9

4017