8532X1 ) ( 7416 .)