У маши есть 25 карандашей.Из них 12 красные,8 синие,остальные зелёные.10 карандашей короткие,остальные длинные.Среди длинных карандашей поровну красных,синих и зелёных.Сколько у Маши коротких карандашей?