what is the XOR of 4535 and 4217

462