( 30 , 712 .)