This is in dollars, right, is the conversion to reais the same thing?