10263X3 ) ( 7 , 431 .)