A store sells cashews for $5.00 per pound and peanuts for $1.50 per pound. The manager decides to mix 10 pounds of peanuts with some cashews and sell the mixture for $3.00 per pound. How many pounds of cashews should be mixed with the peanuts so that the mixture will produce the same revenue as would selling the nuts​ separately? There should be __ pounds of cashews in the mixture.
​(Type an integer or a​ decimal.)