( 12 , 880 .)