( 17 , 129 .)