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