Michelle bought five packs of crayons for $16.25 What is the cost of a pack of crayons, in dollars, if all the packs cost the same?