RIO DE JANEI [ RO den 17 juli.