12232X0 ( 6 , 712 .)