Ivan bought 35 stamps. Some of these stamps cost $0.15 each, and the rest cost $0.40 each. If the total value of the stamps he bought is $7.25, determine the number of $0.15 stamps that Ivan bought.