( 12 , 172 .)