Population of Jeddah

I asked the hotel staff in Jeddah about the population of the city. They did not know. Most of them were "foreign talents". One told me a figure of 3 million, which seemed rather high.

I checked Google and found the answer here. It is one and a half million. It is the second largest city after Riyadh. Jeddah is on the coast of the Red Sea which separates Arabia from Africa.