23 , 723X2 .)