( 17 ' ‘ 3)