( 31 , 712 .)