what is the XOR of 4072 and 3817

257