fullt rustadt , är 9,700 tons.