@jdc: Red dye number