Marinbudgeten belöper sig till 9 , 400 ,000