( 19 , 677 .)