What was the population of Edinburgh in 2009?

The population was about 470,000.