what is the XOR of 4417 and 1335

5238