( 23 , 997 .)