( 34 , 712 .)