( 16 , 993 .)