Fifteen children voted for their favorite color. The votes for red and blue together were double the votes for green and yellow together. How did the children vote?