6 931 536 , och marinbudgeten med 254 878 kr.