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 4): It is the largest city in Virginia and the 42nd largest city in the United States.