( 16 , 712 .)