17667x1 ) ( 4198 .)