( 22 , 993 .)