17988 , 3 .)