( 13 , 673 .)