stortinget har anslagit 10,000 kr.