У ребенка есть 20 разноцветных шариков: желтых, зеленых, синих и красных. Из этих шариков 17 - не зеленые, 5 - красные, а 12 - не желтые. Сколько синих шариков у ребенка?