12 millioner pd st. till krigsskeppens och marinpersonalens ökande.