12435X3 ) ( 6 , 751 .)