( 4 , 172 .)