22340 ) ( 1715 .)