( 31 , 724 .)