what is the XOR of 3257 and 864

4057