Hoeveel gaat er jaarlijks naar defensie?

Er is bij het kabinet ruimte om de belastingen te verlagen en ook om defensie extra geld te geven, na jaren van bezuinigingen. Maar hoeveel gaat er procentueel eigenlijk naar de krijgsmacht?