In the market of Coke, supposed that its market-equilibrium price per can is $1.00 with 10,000 cans purchased (equilibrium), while the highest price a consumer is willing to pay is $3.00 per can. The coke producer's cost of production (selling) is $0.50 per can (at the equilibrium). Under the regular demand and supply curves, the total surplus in the Coke market is ?