what is the XOR of 4335 and 1257

5126