1988 XOR 1257

813