12 , 172X6 .)