RIO JANEIRO den 7 juli.