what is the XOR of 4090 and 1235

2857