what is the XOR of 1256 and 3137

2217