Original: The population was 743 at the 2000 census; according to the U.S. Census Bureau's 2004 estimates, the city had a population of 757.
Simplified: Vernon is a city of Florida in the United States.