har alltså utgjort 9,