what is the XOR of 4067 and 4258

8001