( 17 , 673 .)