what is the XOR of 80 and 1238

1158