( 3000 tons (4000