what is the XOR of 4056 and 13

4053