( 3 , 712 .)