( 7 , 712 .)