1988 XOR 1157

833