what is the XOR of 4531 and 4217

458