( 16 , 988 .)