Ellie uses 12.5 pounds of potatoes to make ashed potatoes. She uses one-tenth as many as many pounds of butter as potatoes. How many pounds of butter does Ellie use?