Riksdagens anslag 7 500 :—