what is the XOR of 4056 and 257

3801