The residents of a city voted on whether to raise property taxes. The ratio of yes votes to no votes was 7 to 5. If there were 6412 yes votes, what was the total
number of votes?