( 12 , 879 .)