12417884325 ⇔ 15437475675
(Te Riele in 1990)