10239X1 ) ( 7 , 432 .)