1888 XOR 1130

778