what is the XOR of 58 and 1235

1257