what is the XOR of 2256 and 1017

2857