13517 ) ( 1667 .)