A survey's final weights are scaled to sum to 10,000, and the weighted proportion supporting a proposal is 0.35. Using these weights as population counts, what is the estimated number of supporters?