18056312 ⇔ 18166888
(Cohen in 1969)