( 13 , 672 .)