12857145632 ⇔ 13268399968
(Te Riele in 1990)