declaro redis