what is the XOR of 3458 and 4071

613