what is the XOR of 2258 and 4251

6217