A spring of force constant k is stretched by a small length x. The work done in stretching it further by a small length y is ________.