17 , 401X1 .)