( 17 , 712 .)