Input (grade 13): Although Fairfax County is the most populous jurisdiction, Virginia Beach is the most populous city in Virginia and the 41st largest city in the United States, with an estimated population of 440,415 in 2008.
Output (grade 8): The city is listed in the Guinness Book of Records as having the longest pleasure beach in the world and.