what is the XOR of 3923 and 1002

3257