12459 ) ( 1692 .)