12440 ) ( 1688 .)