How many pounds of walnuts which cost $4 per pound must be mixed with 25 pounds of almonds which cost $7.50 per pound to make a mixture which will cost $6.50 per pound?