10 , 709X1 .)