10 , 723X3 .)