med bortåt 800,000 kr. , eller till kronor 6 , 931 , 536 , och marinbudgeten med 254,878 kr.