13671735 ⇔ 15877065
(Cohen in 1969)