4394X10 ( 3 , 712 .)