what is the XOR of 3517 and 4025

516