What is red 40 in food? And is it good or bad for you?