what is the XOR of 40 and 3217

3257