( 9 , 000 ton »)