In a mayor's race of three candidates, Isaac received 4,000 votes, Benoit received 6,000 votes, and Rene received 1/3 of the votes. What was the total number of votes cast in the election?