dén , fr Rio Janeiro t.