12574222048 ⇔ 12595134752
(Te Riele in 1990)