12438X3 ) ( 6 , 752 .)