( 23 , 993 .)