15,75 R . RIO JANEIRO den 22 juli.