i stället för 9 riksdagsmän.