what is the XOR of 25 and 4257

4280