( 4 , 000 tons ).