what is the XOR of 4090 and 712

3378