what is the XOR of 4134 and 4517

387