( 12 , 676 .)