RIO JANEIRO den 25 juli.