what is the XOR of 4057 and 2712

1345