riksmark ( = 72 millioner kr.