U ( 13 , 672 .)