( 12 , 671 .)