10239497625 ⇔ 10559171175
(Te Riele in 1990)