According to the 2007 U.S. Census estimates , the city had a population of 7726 .
According to the 2007 U.S. Census estimates , the city had an population of about 7,726 people .