de nio millioner , hvilka vi utgifva för marinen?