Цветоводы вырастили 20000 цветов , из которых 3000- разноцветные гвоздики. 18000 всех цветов - красные . Сколько красных гвоздик вырастили цветоводы?