( 9 , 880 .)