В столовую привезли 15 кг гречневой крупы,а манной в 3 раза меньше. Сколько килограммов крупы привезли в столовую?