( 13 , 880 .)