The amount that a bungee cord stretches varies directly with the weight that it holds. If a certain cord is stretched 12 in by an object weighing 30 lbs, how much would it be stretched by a different object weighing 23 lb?