Quite right.
The currency then was the Cruzeiro, followed I recall by the Cruzado. I gave the equivalent denominations, in the same amounts.
I would gladly give 1000 + to fly TransBrasil again: Better, caring service, and the CHF went a long way then.