what is the XOR of 3088 and 2017

3057