12 , 173X6 .)