4029 XOR 3512

517