what is the XOR of 3035 and 1259

3888