ordinarie premier har utgjort kr.