( 20 , 672 .)