10 , 509X2 .)