( 31 , 997 .)