( 8 , 712 .)