riksmark ( =72 millioner kr.