7 , 413X2 .)