12 , 172X0 .)