dollars spent on the Brazilian Military budget this year.