what is the XOR of 1256 and 3251

2139