för Brasil och a 73 — 76 öre pr dito för Java.