( 31 , 715 .)