( 9 , 673 .)