10 , 715X1 .)