( 7 , 880 .)