gaf Rio Janeiros folkmängd till — 4 eller 500,000 — somliga uppge det ena , somliga det andra.