( 12 , 677 .)