( 9 , 993 .)