And I bet a significant proportion of that 425 billion was spent on US weapons. I wonder if anyone has that number