12241X4 ) ( 6 , 714 .)