(population of virginia)/(population of the us)