( 1 , 712 .)