The cost of shipping of package varies directly with the weight of the package. A 5 pound package costs $3.40 to ship. What would be the price of a package that weighs 12 1/2 pounds?