( 4 , 993 .)