( 11 , 673 .)