ton ( statens 3 mill .,