17 , 311X1 .)