10 , 713X10 .)