what is the XOR of 2258 and 4223

6317