( 4 , 173 .)