Василько, Петрик, Михайлик і Гриць разом зібрали 45 грибів. Якби Василько зібрав на 2 гриби більше, Петрик на 2 гриби менше, Михайлик у 2 рази більше, а Гриць у 2 рази менше, то у всіх хлопців грибів було б порівну. Скільки грибів зібрав Михайлик?