DEN[red_bucket]