1287 XOR 1257

494