10 , 723x3 .)