143 billion kroner on defence