1287 ) ( 1712 .)